Олонлогийн онол нь бүх математикийн суурь болтлоо хөгжсөн байна. Математикт нэгэн ижил зүйлүүдийг эсвэл  ялгаатай юмсыг нэг бүхэл болгон байнга судалдаг. Тухайлбал, натурал тоо, гурвалжин , квадрат, гэх мэт . Эдгээр бүх ялгаатай ийн иолонлогийг тэмдэглэнэ . Энэд :A, B, C,.... Z.

Нэг  ч элемент агуулаагүй олонлогийг хоосон олонлог гэж нэрлээд Ш гэж тэмдэглэдэг.

Олонлогийг бүрдүүлж байгаа объектыг түүний элементүүд гэж нэрлээд, латин цагаан толгойн жижиг үсгээр тэмдэглэнэ .Энд : a ,b, c,.... z.

Математикт олонлогт ямар нэг юмс харьяалагдана, эсвэл харьяалагдахгүй гэдгийг тайлбарлах хэрэг гар...