Rodzina skierowana
Z Wikipedii
Rodzinę zbiorów nazywamy skierowaną jeśli dla dowolnych zbiorów A i B tej rodziny istnieje w niej zbiór C zawierający A i B. Symbolicznie:
[edytuj] Przykłady
- Rodzina wszystkich skończonych podzbiorów zbioru liczb całkowitych jest skierowana. Dla dowolnych skończonych zbiorów A i B odpowiednim zbiorem zawierającym je oba jest na przykład zbiór .
- Rodzina wszystkich przedziałów zbioru liczb rzeczywistych o skończonej długości jest rodziną skierowaną.