ОЛОНЛОГУУДЫН ХООРОНДЫН ХАРЬЦАА

Математикт олонлог төдийгүй тэдгээрийн хоорондын харьцаа, харилцан хамаарлыг судалдаг. Олонлогийн тухай ухагдахуун нь янз бүрийн бөөгнөрлүүдийн хоорондох харилцан хамаарлын тодорхой тохиолдлуудыг ерөнхийлөх ба тэдгээрийг нэг үзэл санаагаар тайлбарлах боломжийг буй болгодог. В олонлог А олонлогт багтаж байна, эсвэл В олонлог А олонлогийн дэд олонлог болж байна гээд B⊂A гэж тэмдэглэнэ. Хэрэв В олонлогийн бүх элемент А олонлогийн элемент болж байвал В-г А олонлогийн дэд олонлог гэнэ. Хоосон олонлогийг дурын олонлогийн дэд олонлог гэж үзнэ. Дурын олонлог өөрийнхөө дэд олонлог болно. B⊂A А⊂В бол А, В олонлогуудыг тэнцүү олонлогууд гээд А=В гэж тэмдэглэнэ.

Леонард Эйлер (1707-1783). Олонлогуудын хоорондох харьцааг Эйлерийн дугуй (Веннийн диаграмм гэж нэрлэх нь бий) гэгдэх онцгой зураглалаар дүрсэлдэг.

Хэрэв А ба В олонлогууд ерөнхий элементтэй боловч аль нь ч нөгөөгийнхөө дэд олонлог болохгүй (a). Хэрэв В олонлог А олонлогийн дэд олонлог болж байвал (в). Хэрэв А олонлог В олонлогийн дэд олонлог болж байвал (с). Хэрэв тэнцүү олонлогууд байвал (d) зураг шиг дүрслэгдэнэ.