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

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

Нехай $a(𝐱),b(𝐱)$ - дві функції від аргументів $𝐱=(x_1,x_2,\dots ,x_n)$. Тоді запис $a(𝐱)\simeq b(𝐱)$, означає що $a(𝐱),b(𝐱)$Шаблон:Sfn:

1. або одночасно визначені і $a(𝐱)=b(𝐱)$
2. або обидві невизначені.

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

Література

1. Шаблон:Cite book