relation algebra

residuated Boolean algebra equipped with an involution (converse)

ক্যাটাগরি: