Assertion: set | /r/HasProperty | a one-to-one correspondence
Facets:
Source sentences:
text: Define two sets to have the same size by: there exists a bijection between the two sets (a one-to-one correspondence between the elements).