定義可能集合
, a m ) ∈ A {\displaystyle (a_{1},\ldots ,a_{m})\in A} であるときかつそのときに限り M ⊨ φ [ a 1 , ... , a m , b 1 , ... , b n ] . {\displaystyle {\mathcal {M}}\models \varphi [a_{1},\ldots ,a_{m},b_{1},\ldots ,b_{n}].}
が成立することを言う。
集合 A {\displaystyle A} が M {\displaystyle {\mathcal {M}}} 内でパラメータ無しで定義可能であるとは上記定義の X を空集合に置き換えたものである。(すなわち、定義式にパラメータが入っていない)
関数が M {\displaystyle {\mathcal {M}}} 内で(パラメータあり/なしで)定義可能であるとは、そのグラフが M {\displaystyle {\mathcal {M}}} 内で(パラメータあり/なしで)定義可能であることである。
要素 a {\displaystyle a} が M {\displaystyle {\mathcal {M}}} 内で(パラメータあり/なしで)定義可能であるとは、単元集合 { a } {\displaystyle \{a\}} が M {\displaystyle {\mathcal {M}}} 内で(パラメータあり/なしで)定義可能であることである。