coinitial (initial + co-): Having an element b for each element a in the superset such that b is less than or equal to a