21/06/17 18:03:13.14 fmi4nuTk.net
>>239
つづき
例 2.1. 半順序のハッセ図においては，半順序の最小元が始対象であり，最大元が終対象である．
論理式の〈グラフ〉においては，矛盾 K が始対象であり，恒真 J が終対象である．
例 2.2. 集合と関数の〈グラフ〉Set においては，空集合 H が始点であり，任意の単元集合 t?u が
終点である．
URLﾘﾝｸ(ja.wikipedia.org)
始対象と終対象
21/06/17 18:03:13.14 fmi4nuTk.net
>>239
つづき
例 2.1. 半順序のハッセ図においては，半順序の最小元が始対象であり，最大元が終対象である．
論理式の〈グラフ〉においては，矛盾 K が始対象であり，恒真 J が終対象である．
例 2.2. 集合と関数の〈グラフ〉Set においては，空集合 H が始点であり，任意の単元集合 t?u が
終点である．
URLﾘﾝｸ(ja.wikipedia.org)
始対象と終対象