User blog comment:Edwin Shade/Understanding The Infinite/@comment-32213734-20171110225514/@comment-32876686-20171111190814

@Rgetar

Yes, to "clarify the definition further" means to make simpler. I changed the definition to the way it was on Wikipedia.