>>46
それはまた別の話
兎にも角にも
booleanモデルを自然に定義するには
写像の定義はsource,graph,targetの三組が自然てこと