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

Сильна рівність Кліні, узагальнена рівність^[1][2][3] (${\displaystyle \simeq }$) - оператор рівності визначений на часткових функціях.

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

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

Для довільного числа y запис ${\displaystyle 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=: недійсний символ (довідка)