Esto permite, además, que haya más de un elemento maximal en un conjunto.