y de A es maximal si para todo x de A que cumple que y anteceda a x entonces y es igual a x.