Uniwersum (matematyka)
Z Wikipedii, wolnej encyklopedii
Uniwersum (z łac. ogół, wszystko, Wszechświat) – klasa wszystkich elementów danego modelu matematycznego.
Przykłady[edytuj]
- uniwersum modelu teorii mnogości – stanowią je wszystkie zbiory i klasy
- uniwersum Herbranda
- uniwersum języka
