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