Relacje w matematyce

Relacja równości jest zwrotna (ponieważ \(a = a\)), natomiast relacja mniejszości nie jest zwrotna. Relacja równości jest symetryczna (ponieważ a = b ⇒ b = a), natomiast relacja mniejszości nie jest symetryczna. Relacja równości jest przechodnia, ponieważ [(a = b) ∧ (b = c)] ⇒ a = c (czytaj: jeżeli a jest równe b i b jest równe c, to a jest równe c). Relacja mniejszości również jest przechodnia, ponieważ jeżeli a jest mniejsze o b i b jest mniejsze od c, to a jest mniejsze od c.

A oto inny przykład relacji — podzielność dwóch liczb naturalnych. Możemy określić wszystkie pary liczb naturalnych, będących ze sobą w relacji podzielności drugiej przez pierwszą. Takimi parami są (2, 4), (3 9),(10, 10000), ... ale już nie (3, 4) czy (2, 177181). Oznaczmy tę relację przez „|”. Możemy wówczas zapisać tę relację między a i b jako a|b. Zauważamy, że relacja "|" jest zwrotna (bo liczba jest podzielna sama przez siebie, tzn. a|a), nie jest symetryczna (na przykład 4 jest podzielne przez 2, ale 2 nie jest podzielne przez 4) i jest przechodnia. Celowo w tym przykładzie pokazano, że o relacji możemy mówić jak o parach liczb, aby zilustrować, że:

Relacja to nic innego jak podzbiór iloczynu kartezjańskiego zbiorów (w tym przykładzie jest to podzbiór zbioru \(\mathbb{N}×\mathbb{N}\)). Oczywiście możemy również definiować relacje wieloargumentowe, jednak najczęściej posługujemy się relacjami dwuargumentowymi (=, <, >, |, ≤ i wiele innych).