スクエアキャップ

二つの要素の最大下界を選ぶ演算です。 束とは、どの二要素にも最大下界と最小上界がある順序構造です。「束の交」や「sqcap」は前者の演算を指します。

⊓は集合の共通部分と同じ？

包含関係で順序づけられた集合の束に限ります。 その場合、交は二つの入力に共通して含まれる要素の集合です。一般の束では⊓は最大下界を表し続けますが、∩が定義できるとは限りません。