parent

parent X -- yields the parent P of X.

Methods for the instances of X which are not found in X itself are sought in P, and its parent, and so on.

The mathematical notion of a set z and a subset y can modeled in this way, with z being the parent of y.

Things which don't have instances have the empty class, called Nothing as their parent.

The of Thing is Thing itself (reflecting the fact that there can be no larger class).

See also classes.

Go to main index.

Go to concepts index.