Assertion: set's cardinality | /r/HasProperty | equal
Facets:
value: to the cardinality of a.
type: OTHER
Source sentences:
text: A is a subset of B if and only if the cardinality of their intersection is equal to the cardinality of A.