non-negative_real_number

Processing math: 100%

Non-negative real number

Set

definiendum	$r \in\mathbb R_+$
postulate	$r \ge 0$

Discussion

Reference

Wikipedia: Real number

Parents

Subset of

Real number