Assertion: set | /r/HasProperty | 0,1= 2
Facets:
Source sentences:
text: Secondly, whereas the subsets of a set are in bijection with the functions from that set to the set {0,1} = 2, there is no guarantee that a class of algebras contains an algebra that can play the role of 2 in this way.