正の数(せいのすう、positivenumber)とは、0より大きい実数である.
positivenumber