自然数集中,小于的等价形式
发布人