Co to są relacje symetryczne na zbiorze?
Relacja symetryczna na zbiorze to relacja binarna, która zachodzi wtedy i tylko wtedy, gdy kolejność elementów jest odwrócona. Innymi słowy, jeśli relacja zachodzi między x i y, musi również zachodzić między y i x. Rozważmy na przykład zbiór A = {1, 2, 3}. Relacja „jest równa” jest symetryczna na A, ponieważ jeśli x jest równe y, to y jest również równe x. Innymi słowy, jeśli 1 = 2, to 2 = 1. Z drugiej strony, relacja „jest mniejsza niż” NIE jest symetryczna na A, ponieważ jeśli x jest mniejsze niż y, y niekoniecznie jest mniejsze niż x. W tym przypadku, jeśli 1 < 2, to 2 jest nie mniejsze niż 1.