A igualdade é válida:
para todo real a e b.
apenas para os reais a e b tais que a > b
apenas para os reais a e b tais que a � b.
apenas para a e b racionais
apenas para a e b naturais.