リテラルとは、具体的なデータを直接的に表現する構文の意味だろう。Prologの「リテラル」（原子論理式またはその否定）のような全然別な意味もあるが。普通の感覚だと、数値12や文字列"hello"はリテラル。最近のプログラミング言語では、タプル、リスト、マ…

集合の共通部分（intersection）、記号は∩（キャップ）。 A∩B = {x | (x∈A)∧(x∈B)} ミート（meet）と呼ぶこともある。積集合と呼ぶこともある。共通部分の定義に使う連言（論理AND)を論理積と呼ぶことがあるので、それにあわせて「積」と言いたいこともある…