Assertion: intersection | /r/HasProperty | associative operation
Facets:
Source sentences:
text: Intersection is an associative operation; that is, for any sets A, B, and C, one has A ∩ (B ∩ C) = (