https://1library.org/document/q2nx55pq-extensoes-induzidas-de-altura-minima-conjunto-parcialmente-ordenado.html