subcategory,supercategory
BoolAlg,Lat