okosgep.eu - Okosságok

szétválasztási axióma

(∀ a∈A ∧   b∈B: a≤b) ⟹ (∃x∈R úgy hogy ∀ a∈A ∧ b∈B: a≤x≤b)