Ask HN:Transitivity property of real numbers · HackerTrans