Difference between r1.2 and the current

@@ -3,16 +3,21 @@

Up(hypernym):

[[inclusion_function]] =,inclusion_function =,inclusion_function . inclusion_function

[[포함함수,inclusion_function]] =포함함수,inclusion_function =,inclusion_function . 포함함수 inclusion_function

{
inclusion function

포함함수 (KMS)

WtEn:inclusion_function = https://en.wiktionary.org/wiki/inclusion_function

"A function whose domain is a subset of its codomain, and for which all of the elements in its domain are [고정점,fixed_point]s."

[[정의역,domain]]이 [[공역,codomain]]의 [[부분집합,subset]]이고 정의역의 모든 원소가 고정점? chk

동일개념

같은 개념:

[[inclusion_map]] =,inclusion_map =,inclusion_map . inclusion_map
{
inclusion map

포함사상 ?

[[WtEn:inclusion_map]] = https://en.wiktionary.org/wiki/inclusion_map

@@ -24,7 +29,7 @@

}

"inclusion function"

KmsE:"inclusion function"

KmsE:"inclusion function" - '포함함수'

Ggl:"inclusion function"
Naver:"inclusion function"
} // inclusion function

@@ -33,23 +38,39 @@

아래 저것들은 사실상 같은...

[[identity_relation]] =,identity_relation =,identity_relation . identity_relation

WtEn:identity_relation

identity relation

WtEn:identity_relation x [[Date(2023-11-23T16:10:05)]]

is_a [[관계,relation]]
WpEn:Identity_relation redir to([[Date(2023-11-23T16:03:37)]]):
https://en.wikipedia.org/wiki/Homogeneous_relation#Particular_homogeneous_relations
이건 [[homogeneous_relation]] also called [[endorelation]]의 일종임.
물론 [[binary_relation]]의 일종이기도 함

"identity relation"

KmsE:"identity relation"

Ggl:"identity relation"

Ndict:"identity relation"

[[identity_map]] =,identity_map =,identity_map . identity_map

WtEn:identity_map

identity map

WtEn:identity_map x [[Date(2023-11-23T16:10:05)]]

is_a [[사상,map]]

"identity map"

Ggl:"identity map"

Ndict:"identity map"

[[identity_mapping]] =,identity_mapping =,identity_mapping . identity_mapping

WtEn:identity_mapping

identity mapping

WtEn:identity_mapping = https://en.wiktionary.org/wiki/identity_mapping

"identity mapping"

Ggl:"identity mapping"

[[identity_transformation]] =,identity_transformation =,identity_transformation. identity_transformation

WtEn:identity_transformation

identity transformation

WtEn:identity_transformation = https://en.wiktionary.org/wiki/identity_transformation x [[Date(2023-11-23T16:10:05)]]

is_a [[변환,transformation]]

"identity transformation"

Ggl:"identity transformation"

Ndict:"identity transformation"

cf./mkl
[[항등사상,identity_morphism]]?

identity_function = https://en.wiktionary.org/wiki/identity_function

Up(hypernym):
포함함수,inclusion_function =포함함수,inclusion_function =,inclusion_function . 포함함수 inclusion_function
{
inclusion function
포함함수 (KMS)

inclusion_function = https://en.wiktionary.org/wiki/inclusion_function

"A function whose domain is a subset of its codomain, and for which all of the elements in its domain are 고정점,fixed_points."
정의역,domain이 공역,codomain의 부분집합,subset이고 정의역의 모든 원소가 고정점? chk

같은 개념:
inclusion_map =,inclusion_map =,inclusion_map . inclusion_map
{
inclusion map
포함사상 ?

inclusion_map = https://en.wiktionary.org/wiki/inclusion_map