Uogólnienie relacji

Szablon:Główny artykuł Uogólnieniem relacji $r\subset X\times Y$ jest relacja $r^{\prime }\subset X^{\prime }\times Y^{\prime },$ jeśli $X\subset X^{\prime },$ $Y\subset Y^{\prime }$ oraz $r\subset r^{\prime }$.

Przykładowo, jeśli $X=Y=X^{\prime }=Y^{\prime }=\mathbb{N}$ oraz $r$ jest relacją podzielności liczb naturalnych, to relacja niewiększości $r^{\prime }$ jest jej uogólnieniem.