Assertion: intersection | /r/HasProperty | a ∩ b
Facets:
Source sentences:
text: That is, x is an element of the intersection A ∩ B if and only if x is both an element of A and an element of B.