Collections, such as #$Tree-ThePlant (containing all trees) or #$EquivalenceRelation (containing all equivalence relations).
Collection: Mengen wie #$Tree-ThePlant, die alle Bäume enthält oder #EquivalenceRelation, die alle Gleichheitsbeziehungen enthält.