Toʻplam — o'zaro farqlanuvchi elementlardan tashkil topgan majmua. Elementlik belgisi ∈ orqali a∈A deb yoziladi, tegishliligi yoʻqligi ∉ bilan ifodalanadi. Boʻsh toʻplam (∅), universal toʻplam, kichik toʻplam va tenglik (⊆, ⊂, =) kabi tushunchalar yoritilgan.