Assertion: set's subset | /r/AtLocation | bijection
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.