In mathematics, particularly in the field of category theory and algebra, a **tight span** is a concept used to describe a particular kind of "span" of a set in a metric or ordered structure. The idea of a tight span often arises in the context of generating a certain type of space in a minimal yet appropriate way. ### Definition: A tight span can be defined in more formal settings, such as in metric spaces and in the theory of posets (partially ordered sets).
New to topics? Read the docs here!