Elemental inverse

Begin with elements. Elements are a very general concept: they may be either members of sets or distinctions of classes. As a set is defined by its members, so a class is defined by its distinctions. So, the elements of sets are members and the elements of classes are distinctions.

Sets may be divided into subsets or combined into supersets. Classes may be divided into subclasses or combined into superclasses. Distinctions may be between classes or within classes. Members may be within sets or without sets.

One might say that a class is just a set of distinctions, or one might also say that a set is just a class of members. But that would blur their differences.

Sets assume one knows members and is trying to combine them into the right sets. Classes assume one knows distinctions and is trying to divide them into the right classes. Aristotle assumed that classes could be known by defining them with the right distinctions. Empiricists assume that sets can be known by defining them with the right members.

Realists begin with classes. A tree is defined by its distinctions. Upon inductive investigation, trees may be grouped into types of tree. Upon deductive investigation, types of trees have certain properties.

Induction proceeds from classes to sets. Deduction proceeds from sets to classes. Sets and classes are like inverses of one another.

Both sets and classes are axiomatized by Boolean algebra with the axioms of identity, complementation, associativity, commutativity, and distributivity.