relation algebra

Summary

Key Facts

• relation algebra's subclass of is recorded as residuated Boolean algebra^[1].
• relation algebra's Freebase ID is recorded as /m/0bz9cf^[2].
• relation algebra's defining formula is recorded as \begin{aligned}a\lor b&=b\lor a\a\lor(b\lor c)&=(a\lor b)\lor c\\overline{\bar a\lor\bar b}\lor\overline{\bar a\lor b}&=a\a\cdot(b\cdot c)&=(a\cdot b)\cdot c\a\cdot1&=a\\hat{\hat a}&=a\\widehat{a\cdot b}&= \hat b\cdot\hat a\\widehat{a\lor b}&=\hat a\lor\hat b\(a\lor b)\cdot c&=(a\cdot c)\lor(b\cdot c)\(\hat a\cdot\overline{a\cdot b})\lor\bar b&=\bar b\end{aligned}^[3].
• relation algebra's maintained by WikiProject is recorded as WikiProject Mathematics^[4].
• relation algebra's Microsoft Academic ID is recorded as 10282146^[5].
• relation algebra's OpenAlex ID is recorded as C10282146^[6].