1. カテゴリーなし

準備 束論 ・半順序集合(poset) 次の2項関係を持つ集合S 1. 反射的 2