Showing changes from revision #3 to #4:
Added | Removed | Changed
An Archimedean ordered integral domain is Dedekind complete if
For all terms and , the open interval is inhabited.
For all terms , the lower bounded open interval is inhabited.
For all terms , the upper bounded open interval is inhabited.
For all terms and , if and only if is a subinterval of
For all terms and , if and only if is a subinterval of
For all terms and , if , then is a subinterval of the union of and
For all terms and , the intersection of and is a subinterval of
Last revised on June 10, 2022 at 15:38:56. See the history of this page for a list of all contributions to it.