ordered set definition in real analysis