Assertion: set's cardinality | /r/HasProperty | one of cardinality \(\kappa\
Facets:
Source sentences:
text: Given two cardinals \(\kappa\) and \(\lambda\), the sum \(\kappa +\lambda\) is defined as the cardinality of the set consisting of the union of any two disjoint sets, one of cardinality \(\kappa\) and one of cardinality \(\lambda\).