Collections, such as #$Tree-ThePlant (containing all trees) or #$EquivalenceRelation (containing all equivalence relations).
集合，即Collections：例如#$Tree-ThePlant（包含所有的树），又如#$EquivalenceRelation（包含所有的等价关系）。