La propiedad de idealización es la siguiente (con "P" una proposición interna):