Source: https://www.math.ens.psl.eu/shared-files/9804/?Logique partiel--2009-2010.pdf