Number Systemshard
0:00.0

Which property of the integers is expressed by: 'If SNS \subseteq \mathbb{N} and SS is non-empty, then SS has a smallest element'?