Равенство Клини

В математике , равенство Клини или сильное равенство , ( $\simeq$) — это оператор равенства частичных функций , который утверждает, что для данного аргумента либо обе функции не определены, либо обе определены и их значения для этих аргументов равны.

Например, если у нас есть частичные функции $f$ и $g$, $f\simeq g$ означает, что для каждого $x$:

• $f(x)$ и $g(x)$ оба определены и $f(x)=g(x)$
• или $f(x)$ и $g(x)$ оба не определены.

Ссылки

1. Катленд, Найджел (1980). Вычислимость, введение в рекурсивную теорию функций . Издательство Кембриджского университета. п. 251. ИСБН  978-0-521-29465-2 .