Assertion: argument's part | /r/HasProperty | put into a one-to-one correspondence
Facets:
value: with the entire system
type: OTHER
Source sentences:
text: In defense of premise (5), he defines an actual infinite as a determinate totality that occurs when a part of a system can be put into a one-to-one correspondence with the entire system (Craig and Sinclair 2009: 104).