何らか2つの対象について作用を定めることを"構成(connect)"と言う。あらゆる覽および囙は任意の系において構成をおこなうことができる。ある覽/囙があらゆる系について施した構成について集めたものを"言語(language)"と呼ぶ。entity型においては、対象が明…