State/Every subset of N has a smallest element