定義5.3 27項 とする．このとき と置く．このようなを上の抽象的なグラフという．とくに，はからへの写像全体と同一視している．これより とは等しいと看做す．但し，とは限らない． ☆ について，ではないが，集合についてであるので，部分集合は自分自身に…