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]
kleene, equality, mathematics, strong, equality, displaystyle, simeq, equality, operator, partial, functions, that, states, that, given, argument, either, both, functions, undefined, both, defined, their, values, that, arguments, equal, example, have, partial,. In mathematics Kleene equality 1 or strong equality displaystyle simeq 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 f displaystyle f and g displaystyle g f g displaystyle f simeq g means that for every x displaystyle x 2 f x displaystyle f x and g x displaystyle g x are both defined and f x g x displaystyle f x g x or f x displaystyle f x and g x displaystyle g x are both undefined References edit Kleene equality in nLab ncatlab org Cutland 1980 p 3 Cutland Nigel 1980 Computability an introduction to recursive function theory Cambridge University Press p 251 ISBN 978 0 521 29465 2 nbsp This mathematics related article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Kleene equality amp oldid 1196920475, wikipedia, wiki, book, books, library,
