definice množiny (homogenní soubor prvků, které jsou rozlišitelné, neopakují se a nezáleží na jejich pořadí),
definice množinových operací,
pomocí formulí výrokové logiky nebo Vennových diagramů otestovat rovnost množinových výrazů,
znát definici zobrazení, injektivity, surjektivity, bijektivity a umět určit, zda tyto vlastnosti zadané zobrazení splňuje.