o是自然数