Subclass

Subclass

A class a is a subclass of a class b if a ? b. See Logic, formal, 7.

A class a is a proper subclass of a class b if a ? b and a ? b. — A.C.

Fuente: The Dictionary of Philosophy