Por otro lado, un elemento formula_32 tal que formula_183 para todo formula_137 se dice "cota superior" (o "mayorante") de formula_206.