x ≥ 0 est une condition nécessaire pour que x > 1.

x ≥ 0 est une condition suffisante pour que x > 1.

x > 1 est une condition nécessaire pour que x ≥ 0.

x > 1 est une condition suffisante pour que x ≥ 0.