Disjoint classes and properties fixed
consider also inverses and equivalences