上界

B から A を引いた差、差集合あるいは B における A の（相対）補集合と呼ぶ。記号を用いて書けば、 x∈B∖A⟺x∈B∧x∉A, ウィキペディア 上界 ∃a∈ℝ,∀∈A:x≤a WIIS 実数の公理は デデキントの公理 上限性質を持つ...