Mengdelære er en gren av matematikken hvor begrepet mengde har fått en sentral plass. Med en mengde menes en samling elementer, som kan være virkelige eller tenkte. Eksempler på elementene er tall, symboler for tall eller hendelser.
Mengder betegnes vanligvis med store bokstaver A, B, C osv., og de tilhørende elementer blir i regelen stilt etter hverandre atskilt med komma innenfor en klammeparentes { }, som i mengdelæren ofte kalt mengdeparentes. Eksempel: A = {♠ D, ♣ D, ♥ D, ♦ D}; leses: A er mengden av (kortene) ♠ D, ♣D, ♥ D og ♦ D. Ønsker man å gi uttrykk for at kortet ♣ D er element i mengden A, kan man bruke elementsymbolet, ∈, og skrive ♣ D ∈ A, som leses ♣ D er element i A. Kortet ♣ 4 er ikke element i A, og dette skrives: ♣ 4 ∉ A.