Reláciu R definovanú v množine M nazývame REFLEXÍVNOU, ak | | |
Reláciu R definovanú v množine M nazývame ANTIREFLEXÍVNOU, ak | | |
Reláciu R definovanú v množine M nazývame SYMETRICKOU, ak | | |
Reláciu R definovanú v množine M nazývame TRANZITÍVNOU, ak | | |
Reláciu R definovanú v množine M nazývame SÚVISLOU, ak | | |