Assertion: union | /r/CapableOf | form a partition of a
Facets:
Source sentences:
text: A i , {\displaystyle A=\bigsqcup _{i\in I}A_{i},} with an injective function of each A i {\displaystyle A_{i}} into A, such that the union of the images of these injections form a partition of A (that is, each element of A belongs to exactly one of these images).