https://www.nepalieducate.com/2023/01/real-logic-sets-and-real-number-system_2.html