Анықтама. Егер Х жиынын У жиынына өзара бір мәнді бейнелену мүмкін болса, онда бұл жиындарды эквиваплентті жиындар деп атайды да Х~У түрінде белгілейді.
Анықтама. Егер А және В жиындары эквивалентті болса, онда олардың қуаттары бірдей болады. Сондықтан эквивалентті жиындарды теңқуаттас деп те атайды. Шектеулі жиындар үшін қуат дегеніміз – ол жиын элементтерінің саны болып табылады да теріс емес бүтін санмен (Г.Контордың терминіі бойында кардинал санмен)өрнектеледі.
Анықтама. Х жиынындағы R бинарлық қатынас дегеніміз жиындардың (Х,Z) пары, мұндағы ZXxX. Х жиынын R қатынастыңң берілу обылысы., ал Z жиынын R қатынастың графигі деп атайды.
