e/Relation algebra

Information
has gloss	eng: In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra equipped with an involution called "converse". The motivating example of a relation algebra is the algebra 2X² of all binary relations on a set X, with R•S interpreted as the usual composition of binary relations and the converse of R as the inverse relation. Relation algebra emerged in the 19th century work of Augustus De Morgan and Charles Peirce, which culminated in the algebraic logic of Ernst Schröder. The present-day purely equational form or relation algebra was developed by Alfred Tarski and his students, starting in the 1940s.
lexicalization	eng: relation algebra
instance of	(noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom

Meaning
Japanese
has gloss	jpn: 数学の抽象代数学の分野において関係代数 (relation algebra) とは "逆" と呼ばれる対合を持つ剰余つきブール代数のことである。動機付けとなるような関係代数の例は、集合 X 上の全ての二項関係からなる集合 Pow(X2) であって、演算 R • S を通常の関係の合成とし、R の逆を逆関係で定義する。関係代数は 19世紀のオーガスタス・ド・モルガンとチャールズ・サンダース・パースの結果から現れ、エルンスト・シュレーダー( )の代数的論理学において全盛となった。現在の、関係代数の等式による定式化は、1940年代に始まるアルフレト・タルスキと彼の弟子たちの研究によってなされた。
lexicalization	jpn: 関係代数
Chinese
has gloss	zho: :这里的关系代数不同于 Edgar F. Codd 在1970年为关系数据库开发的关系代数。在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 2^X^2}，带有 R·S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。
lexicalization	zho: 关系代数