>>706
論理式として閉じてる構造作れば良いんでない？
ただ実態を作る場合、それが本当に妥当かどうかは分からんが。
ハスケルで無かったっけ？そんなの。

数学ってあくまで実際のモデルを"参考"にして抽象的構造作ってるから、
その"参考"から創られる構造から演繹されたものを実際の世界(コンピュータだったらデータ)に還元しても、それが直感的に妥当だとは限らんよ？
>>707の例みたいになるし。混ぜるな危険。
まあ応用数学みたいにおいしいとこだけ啄むのも良いけど。