Vocabulary
classes.algebra

Inputs
firsta class
seconda class


Outputs
?a boolean


Word description
Tests if two classes have a non-empty intersection. If the intersection is empty, no object can be an instance of both classes at once.

Definition