Assertion: logic's power | /r/HasProperty | set on corresponds
Facets:
Source sentences:
text: Then the subset relation in the power set on {T, F} corresponds to order ab<cd iff a<c and b<d in two-bit representation.