[NTG-context] Intersection symbol, Set theory