Изменения

|definition='''Язык свойства''' <tex> A </tex> {{---}} множество программ, языки которых обладают этим свойством: <tex>L(A) \overset{\underset{\mathrm{def}}{}}{=} \lbrace p | \mid L(p) \in A \rbrace </tex>.