Linear order is a binary relation on a set that arranges the elements in a sequence where each element is comparable to every other element, ensuring a transitive, antisymmetric, and total ordering. It is fundamental in mathematics and computer science for structuring data and solving problems where sequence and hierarchy are important.