二つの重要そうなシンボルが特定できた段階でこれを聞いてしまってるけど、あまり良くない

概念が包含関係にあることがある

これは元のクリーンランゲージにおいて、概念が物理的なシンボルになるところまでいくと、それが物理的に違う位置を占めることが暗黙的に包含関係の排除になるから