数学百科
典型良序关系
2023-05-11
见“典型良序”.