MV FROM 함수,function#s-1
정의역,domain의 모든 원소,element에 대해 / 모든 입력,input에 대해 단 하나,one의 값/함수값/출력,output/, 당연히 치역,range이 한원소집합singleton_set .... TBW clearly
미분가능하며(미분가능성,differentiability), 도함수(도함수,derivative=미분,derivative)는 영함수,zero_function - 영,zero
연속함수,continuous_function임, 매끄러운함수,smooth_function임 ? - chk
mklink
상수사상,constant_map or 상수사상,constant_morphism ... 사상,map 사상,morphism
상수사상,constant_map or 상수사상,constant_morphism ... 사상,map 사상,morphism
... curr see wpko, https://mathworld.wolfram.com/ConstantMap.html and https://ncatlab.org/nlab/show/constant morphism
상수함자,constant_functor ... curr see https://ncatlab.org/nlab/show/constant functorsub 국소상수함수 locally_constant_function ... curr see https://ncatlab.org/nlab/show/locally constant function ...국소성,locality
상수함수
상수함수