Сильна рівність Кліні

Сильна рівність Кліні, узагальнена рівність ($\simeq$) - оператор рівності визначений на часткових функціях.

Нехай $a(\mathbf {x} ),\,b(\mathbf {x} )$ - дві функції від аргументів $\mathbf {x} =(x_{1},x_{2},\ldots ,x_{n})$. Тоді запис $a(\mathbf {x} )\simeq b(\mathbf {x} )$, означає що $a(\mathbf {x} ),\,b(\mathbf {x} )$:

1. або одночасно визначені і $a(\mathbf {x} )=b(\mathbf {x} )$
2. або обидві невизначені.

Для довільного числа y запис $f(x)\simeq y$ означає, що f визначена для x і дорівнює y.

Література

1. Cutland, Nigel (1980). Computability, an introduction to recursive function theory. Cambridge University Press. с. 251. ISBN 0521294657, 9780521294652. {{cite book}}: Перевірте значення |isbn=: недійсний символ (довідка)