Non-negative extended real number line - Axioms of Choice

Loading [MathJax]/jax/output/HTML-CSS/jax.js

Non-negative extended real number line

Set

postulate	$x\in\overline{\mathbb R}_+$
postulate	$x\in\overline{\mathbb R} \land x\ge 0$

Ramifications

Reference

Wikipedia: Extended real number line

Parents

Set

Subset of

Extended real number line

Log In

Improvements of the human condition