Vita:körtelikőr
halmazok halmazművelet metszet unió komplementer különbség szimmetrikus különbség részhalmaz rendezett számpár megfeleltetés reláció parciális leképezés leképezés indulási halmaz érkezési halmaz értelmezési tartomány értékkészlet kép ős nyíldiagram szürjektív injektív bijektív kiválasztási függvény permutáció ciklus transzpozíció leképezés reláció irányított gráf zárt séta nyitott séta irányított út irányított kör reflexív szimmetrikus antiszimmetrikus dichotom tranzitív tranzitív lezárt részbenrendezés maximális elem legnagyobb elem lexikografikus rendezés ekvivalenciareláció ekvivalenciaosztály megszámlálhatóan végtelen halmaz számosság kontinuum-számosság negáció konjunkció diszjunkció implikáció ekvivalencia formula részformula teljes diszjunktív normálforma tautológia premissza konklúzió komplex szám kanonikus alak valós rész képzetes rész konjugált abszolút érték trigonometrikus alak exponenciális alak gyökvonás komplex egységgyök n-változós művelet algebra asszociatív kommutatív egységelem zéruselem hatványozás gyűrű test izomorfizmus homomorfizmus részcsoport részhalmaz ciklikus csoport Descartes-szorzat Hasse-diagram