ユートピアを実装するための圜理論による定義の一形式 | prototype
初めに、以下の基本概念を定義する。
圜=スフィアとは、任意の数の属性=プロパティをもつものである。
ある圜がもつ属性は、その圜に所属=ビロングすると言う。
prop1, prop2を属性とする圜Spは、次のように表現することができる。
sphere Sp :> { prop1, prop2 }
圜は、圜を属性とすることもできる。
Sp1が圜であるとき、prop1, prop2, Sp1を属性とする圜Sp2は、次のように表現することができる。
sphere Sp2