Uniwersum (z łac. ogół, wszystko, wszechświat) – pojęcie w matematyce oznaczające klasę wszystkich elementów danego modelu matematycznego.