Positive Real Number

From GM-RKB
Jump to navigation Jump to search

A Positive Real Number is a real number that is a positive number.