Dedekind cut

By omitting the first two requirements, we formally obtain the extended real number line.