Re: [NTG-context] Intersection symbol, Set theory