noun Mathematics. the theorem of set theory that if two sets are so related that each can be placed in one-to-one correspondence with a subset of the other, then the sets are equivalent.