(mathematics) The relative pseudo-complement of a given element (of a Heyting algebra) with respect to the least element — the zero of that algebra.
zero
pseudo-complement
任意のヘイティング代数において、与えられた元に対する最小元(代数の零元)に関する相対擬補元は、その与えられた元との交わり(meet)が最小元になるような最大の元である。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★