「半順序」の記事一覧

半順序ってなに？離散数学で登場する半順序がどんなものか解説してみた