X順序集合の部分順序集合はX順序集合 - くたくたじゅうよん

X順序集合の部分順序集合はX順序集合