Positive Real Number

From GM-RKB
Jump to: navigation, search

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