Ask HN:Transitivity property of real numbers | Hacker News Reader