subcategory,parent
Aut,Set
Pos,Set
Pros,Set
SemiRing,Set
Top,Set