Classtype

HomePage | RecentChanges | Preferences

The classtype of a class of structures is the strongest concept from this list that applies to the class:

variety, quasivariety, universal class, first-order class, second-order class, [higher-order class]?.