👉 In mathematics, an enveloper is a concept that describes a set of elements which are used to define the topology on some topological space. These elements are defined in such a way that they form an ideal subset of the original space. An enveloper is often seen as an analog to the quotient topology on a topological space, where the points of the space are identified with their equivalence classes under the quotient relation (i.e., "the set of all equivalence classes of the points"). The topology
