(resource 보기 전 내 생각)
정의란 이름,name -> 개념,concept or 대상,object or ....something or anything .... 으로의 바인딩,binding?

Sub:

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

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
{

식,expression
https://en.wikipedia.org/wiki/Well-defined_expression

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

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