Two universals are equal when every individual of each is an individual of the other. They are mutasāwiyān. Both universal statements must hold: all A are B, and all B are A. Only one direction is not enough to establish equality.
Opening interactive controls...
Definition of equality
Four Relations Between Universal Concepts
Two universals are equal when every individual of each is an individual of the other. They are mutasāwiyān. Both universal statements must hold: all A are B, and all B are A. Only one direction is not enough to establish equality.