In our setting, we refer to a domain as a finite or infinite collection of values of the same type/category. For example, we may represent the domain of an attributeas a collection of numbers that belong to the interval. Unlike a domain that may be finite, a universe is infinite by definition.