Assertion: set | /r/HasProperty | pairwise disjoint
Facets:
Source sentences:
text: {\displaystyle (A_{i},\leq _{i})} is a linear order, where the sets A i {\displaystyle A_{i}} are pairwise disjoint, then the natural total order on ⋃