En cualquier álgebra de Heyting, uno puede definir seudo-complemento ¬"x" de un cierto elemento "x" haciendo ¬"x" = "x"=>0, donde 0 es el menor elemento del álgebra de Heyting.