Category:定義
内包と外延
Intension
定義
Definition
多重定義
Function overloading再帰的定義
Recursive definition
定義如来
外延的定義と内包的定義
Extensional and intensional definitions
文書スキーマ定義言語
Document Schema Definition Languages
パターンファイル
稠密に定義された作用素
Densely defined operatorインタフェース定義言語
区分的に定義される函数
定義定数
有効定義域
オブジェクト定義言語
集合の定義函数
説得的擬似定義
定義域 (データベース)
Data domain
定義集 (プラトン)
Definitions (Plato)
文書型定義
宗像 (広域定義)
ユーザー定義関数
利用者定義演算子
Operator overloading
ソフトウェア定義
Software-defined▲1 trends
要件定義
内包
順序数定義可能集合
Ordinal definable set定義域の着色
Domain coloring
直示的定義
Ostensive definition