Negation function s.t. De Morgan laws, double negation and inversion of the idempotent elements hold.
the negation of the x element
element to negate