relation algebra

residuated Boolean algebra equipped with an involution (converse)

หมวดหมู่: