Set of positive real numbers

The set of positive real numbers is the set containing all real numbers that are strictly larger than zero.