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]
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]