Linearizability is a consistency condition for concurrent systems that ensures operations appear to occur instantaneously at some point between their invocation and their response, preserving the real-time order of non-overlapping operations. It provides a simple and intuitive way to reason about the correctness of concurrent data structures by maintaining a single global order of operations.