• uspořádané množiny
• zobrazení množin
• částečně uspořádané množiny
• množinové operace