CLASSIFICATION

e	Class
e	Class_by_extension
e	Class_by_intension
e	Classification
s	Classification_or_complete_membership
d	Classification_select
e	Complete_membership
e	Complete_membership_of_empty_set
e	Complete_membership_of_non_empty_set
d	Complete_membership_select