Add a property involving intersection of Subsets

Analogous to the one involving union