定义了自然数集上的二元关系小于等于和小于
发布人