멱등성,idempotence

Difference between r1.12 and the current

@@ -11,7 +11,7 @@
[[불_대수,Boolean_algebra]]에서는 다음 둘이 OR/addition? , AND/multiplication? 연산에 대한 '''idempotent law'''s.
x+x=x
x·x=x
[[논리학,logic]]에서는 다음 둘? / AND/conjunction , OR/disjunction [[논리연결사,logical_connective]] i.e. [[연결사,connective]] i.e. [[연산자,operatior]] i.e. [[연산,operation]] 에 대한.
[[논리학,logic]]에서는 다음 둘? / AND/conjunction , OR/disjunction [[논리연결사,logical_connective]] i.e. [[연결사,connective]] i.e. [[연산자,operator]] i.e. [[연산,operation]] 에 대한.
X∧X=X
X∨X=X
[[집합론,set_theory]]에서는 다음 둘? / set_intersection set_union 연산에 대한.
@@ -68,5 +68,4 @@
WtEn:idempotence
WpSp:Idempotence
WpEn:Idempotence


Sub:
멱등함수,idempotent_function
멱등사상,idempotent_morphism - 사상,morphism
idempotent morphism
멱등원,idempotent_element - 원소,element
idempotent element
https://ko.wikipedia.org/wiki/멱등원
Ggl:idempotent element
멱등법칙,idempotent_law ? - 법칙,law
{
불_대수,Boolean_algebra에서는 다음 둘이 OR/addition? , AND/multiplication? 연산에 대한 idempotent laws.
x+x=x
x·x=x
논리학,logic에서는 다음 둘? / AND/conjunction , OR/disjunction 논리연결사,logical_connective i.e. 연결사,connective i.e. 연산자,operator i.e. 연산,operation 에 대한.
X∧X=X
X∨X=X
집합론,set_theory에서는 다음 둘? / set_intersection set_union 연산에 대한.
A∩A=A
A∪A=A
Up: 멱등성,idempotence 법칙,law
}


idempotent_operator
idempotent operator
https://proofwiki.org/wiki/Definition:Idempotent_Operator
Up: 연산자,operator
// idempotent operator ... Ggl:idempotent operator

idempotent_binary_operator
idempotent binary operator
불_대수,Boolean_algebra에서 ∧ ∨는(i.e. + ·는) 이것.
Ex.
x+x=x
x·x=x
이항연산,binary_operation
연산자,operator > 이항연산자,binary_operator
// idempotent binary operator ... Ggl:idempotent binary operator

complementary_idempotence
complementary idempotence
https://proofwiki.org/wiki/Definition:Complementary_Idempotent
complement
// complementary idempotence ... Ggl:complementary idempotence

complementary_idempotent_operator
complementary idempotent operator
see https://proofwiki.org/wiki/Definition:Complementary_Idempotent
MKL complementary_projection
{
complementary projection
https://proofwiki.org/wiki/Definition:Complementary_Projection
Up: 사영,projection
} // complementary projection ... Ggl:complementary projection
// complementary idempotent operator ... Ggl:complementary idempotent operator