S is a relation over the set R of all real numbers and its is given by (a, b) ϵ S ⬄ ab ≥ 0. Then, S is