Relacja spójna
relacja wiążąca każdą parę elementów / Z Wikipedii, wolnej encyclopedia
Relacja spójna, relacja liniowa[potrzebny przypis] – typ relacji dwuargumentowej na jednym zbiorze definiowany dwojako – w sensie szerokim i wąskim; oba z nich dotyczą wiązania każdej pary elementów zbioru. Formalnie:
- relacja jest spójna, jeśli zachodzi alternatywa[1][2]:
- Oznacza to, że dla każdych dwóch różnych elementów zachodzi lub Inny zapis[3]:
- Pociąga ona za sobą zwrotność.
Przez spójność definiuje się porządek liniowy.