relation algebra

residuated Boolean algebra equipped with an involution (converse)

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

Danh mục:

residuated Boolean algebra