<div dir="auto">I would be opposed to<div dir="auto">intersections [] = []</div><div dir="auto">as it is true that *all* things have the property of being a member of every element of []. In set theory without classes I've usually seen this worked around by never using intersections on an empty set (ie using NonEmpty)</div><div dir="auto"><br></div><div dir="auto">=======</div><div dir="auto">Georgi</div></div>