Źródło TeX:

(∀x^a,x^b∈X) [x^a,x^b]⊆X