A long exact sequence is a sequence of algebraic objects and morphisms between them that is exact at every position, meaning the image of one morphism equals the kernel of the next. It is a fundamental tool in homological algebra and algebraic topology, often used to relate different algebraic structures and compute invariants.