(resource 보기 전 내 생각)
정의란 이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?
cs,pl에선 확실히 이렇다

qqq 정의의 대상^{target or object}은??

'개념,concept을 정의한다'
... 대충 철학,philosophy쪽? i.e. 매우 일반적으로는.

Sub:

function(함수,function 펑션,function) 을 정의: function_definition
{
파이썬,Python의 경우 당근 def funcname(args...): ...
}

inductive_definition
귀납적정의 inductive_definition ? - 귀납,induction 귀납,induction

recursive_definition
재귀적정의 recursive_definition ?
(위 둘 같은것?)
"a recursive definition, or inductive definition, " (we) - 는 같다고 함
이 때는 base_case (is: 경우,case) =,base_case . base_case
{
번역?
기본경우(????)
기초적경우?
base
basic

Recursion#base_case = https://en.wikipedia.org/wiki/Recursion#base_case
(Redirected from Base case (recursion)) // Base_case_(recursion)

Base_case <- 두가지

"base case"
base case
base case

base_case

}// base case

piecewise_definition =,piecewise_definition . piecewise_definition
DTD,Document_Type_Definition - curr at 문서,document

undefined =,undefined =,undefined . undefined
undef =,undef =,undef . undef
{
undef ?

Sub:
undefined_variable - curr at 변수,variable
undefined_behavior =,undefined_behavior . undefined_behavior |=,UB UB
Compare:
uninitialized (초기화,initialization되지 않은)
널,null
https://foldoc.org/undefined

https://mathworld.wolfram.com/Undefined.html

Undefined_(mathematics) = https://en.wikipedia.org/wiki/Undefined_(mathematics)
}

well-definedness =,well-definedness . well-definedness
welldefinedness =,welldefinedness . welldefinedness
{
well-definedness n.
well-defined adj.

MKL
정의,definition
유일성,uniqueness
ambiguity

tmp
https://namu.wiki/w/동치관계#s-4.2 .....여기선 명확성으로 번역함.

well-defined_expression =,well-defined_expression . well-defined_expression
{
well-defined expression

https://en.wikipedia.org/wiki/Well-defined_expression

Up:
well-definedness
식,expression
} // well-defined expression well-defined expression

well-definedness
well-defined = https://en.wiktionary.org/wiki/well-defined
잘_정의됨
https://ko.wikipedia.org/wiki/잘_정의됨
https://namu.wiki/w/잘 정의됨
https://librewiki.net/wiki/잘_정의됨
https://mathworld.wolfram.com/Well-Defined.html
...
잘 정의됨
well-definedness
"잘 정의됨"
"well-definedness"
well-definedness
well-definedness

} // well-definedness well-definedness well-definedness

circular_definition =,circular_definition =,circular_definition . circular_definition
{
https://en.wiktionary.org/wiki/circular_definition
}