Jump to content

Kleene equality

From Wikipedia, the free encyclopedia
(Redirected from Strong equality)

In mathematics, Kleene equality,[1] or strong equality, () is an equality operator on partial functions, that states that on a given argument either both functions are undefined, or both are defined and their values on that arguments are equal.

For example, if we have partial functions and , means that for every :[2]

  • and are both defined and
  • or and are both undefined.

References

[edit]
  1. ^ "Kleene equality in nLab". ncatlab.org.
  2. ^ Cutland 1980, p. 3.
  1. Cutland, Nigel (1980). Computability, an introduction to recursive function theory. Cambridge University Press. p. 251. ISBN 978-0-521-29465-2.