relation algebra

residuated Boolean algebra equipped with an involution (converse)

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

Kategori:

residuated Boolean algebra