It is merely a matter of applying an agreed-upon set of rules (for instance, that any thing is equal to itself, or that if something is true for all members of a set of objects, it is true for any one specific object) to a set of agreed-upon structures, such as sets of objects.