a domain which defines a distinguished type and a collection of constants and functions related to the type