Se, para quaisquer valores e de um conjunto (contido no domínio de D), com >