Олонлог: Засвар хоорондын ялгаа

Олонлог ба элемент, олонлог ба олонлогийн хооронд агуулагдах, харьяалагдах гэсэн энгийн хамаарлыг тодорхойлох боломжтой. ''a'' нь ''A'' олонлогийн элемент бол "''a'' нь ''A'' олонлогт харьяалагдана", "''A'' олонлог нь ''a'' элементийг агуулна" хэмээгээд ''a'' ∈∈ ''A'' гэж тэмдэглэнэ.

2 олонлог ''A'', ''B''-гийн хувьд ''A''-д харьяалагддаг бүх элемент нь ''B''-д бас харьяалагддаг, өөрөөр хэлбэл ''a'' ∈∈ ''A'' ⇒⇒ ''a'' ∈∈ ''B'' нь ''a''-г хэрхэн сонгохоос хамаарахгүйгээр биелж байвал "''A'' нь ''B''-гийн [[дэд олонлог]] болно", "''A'' нь ''B''-д агуулагдана", "''B'' нь ''A''-г агуулна" хэмээгээд ''A'' ⊂⊂ ''B'' буюу ''A'' ⊆⊆ ''B'' гэж тэмдэглэнэ.

:''A'' = ''B'' ⇔⇔ ''A'' ⊆⊆ ''B'' ба ''A'' ⊇⊇ ''B''.

:''B'' = {''n'' | ''n'' ∈∈ '''N''', ''n'' ≤≤ 5 } гэж бичигдсэн хоёр олонлог нь тэнцүү юм: ''A'' = ''B''.

[[CategoryАнгилал:Олонлогийн онол|*]]

[[CategoryАнгилал:Математик]]