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