relation algebra

residuated Boolean algebra equipped with an involution (converse)

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

Kategoriler:

residuated Boolean algebra