relation algebra

residuated Boolean algebra equipped with an involution (converse)

en-GB/ɹɪˈleɪʃn ˈæld͡ʒɪbɹə/
en-US/ɹɪˈleɪʃən ˈæld͡ʒəbɹə/

カテゴリ：

residuated Boolean algebra