relative pseudo-complement
danh từ (noun)
Nghĩa chính
- Phép toán dư của đại số Heyting khi được coi là một mạng dư mà phép toán đơn hình là phép toán đáp ứng. Tương tự, giả phần bù tương đối của a đối với b là tập hợp lớn nhất của tất cả các z sao cho z∧a⩽b, trong đó ∧ biểu thị phép toán đáp ứng của đại số Heyting đã chodanh từThe residual operation of a Heyting algebra when considered as a residuated lattice whose monoid operation is the meet operation. Equivalently, the relative pseudo-complement of a with respect to b is the supremum of the set of all z such that z∧a⩽b, where ∧ denotes the meet operation of the given Heyting algebra.
Dạng từ (word form)
theo quy tắc (regular)- relative pseudo-complementDạng gốc (base form)
- relative pseudo-complementsSố nhiều (plural)
Họ từ (word family)
Từ liên quan (related word)