class<= ( first second -- ? )
Factor handbook > The language > Objects > Classes > Class operations

Prev:class< ( first second -- ? )
Next:class-and ( first second -- class )


Vocabulary
classes.algebra

Inputs and outputs
firsta class
seconda class
?a boolean


Word description
Tests if all instances of class1 are also instances of class2.

Notes
Classes are partially ordered. This means that if class1 <= class2 and class2 <= class1, then class1 <= class2. Also, if class1 <= class2 and class2 <= class3, then class1 <= class3.

Definition