adj. (of a set of sets of elements of some domain) covering the whole domain, having a union equal to the whole domain. For example, the set of residue classes modulo n constitute an exhaustive covering of the integers. Compare mutually exclusive. See also partition, Eudoxus' axiom.