Talk:Constant Function is Stopping Time

Extended Natural Number
Sorry, it became now unnatural, you can revert the last change if you like. I just wanted to let you know about Definition:Extended Natural Number, generally. I had some difficulty to accept the implicitly induced order in $\Z_{\ge 0} \cup \set \infty$. But it should be obvious for normal readers. --Usagiop (talk) 23:12, 3 December 2022 (UTC)