Uma afirmação verdadeira a respeito do conjunto U= {-1 , 0 , 1} é:
para todo x, existe y tal que x+y = 0
existe x tal que para cada y, x+y = 0
existe x tal que para todo y, x>y
para todo x e todo y, x+y U