for a, b being Real holds [.a,+infty.[ \/ {b} <> REAL