Si formula_213 contiene un elemento máximo, entonces este se dice "ínfimo" de formula_206, y lo representaremos por formula_221.