relation algebra

residuated Boolean algebra equipped with an involution (converse)

श्रेणियाँ: