下が古い.上が新しい.間は他所

2008-11-19

要するに,半順序集合上の要素を比較する方法ってのが適切に理解されていないとでもいいますか.