Сильна рівність Кліні, узагальнена рівність () - оператор рівності визначений на часткових функціях.
Нехай - дві функції від аргументів . Тоді запис , означає що : або одночасно визначені і або обидві невизначені. Для довільного числа y запис означає, що f визначена для x і дорівнює y.
Література
Зноски Поляков Сергій Анатолійович - Композиційна семантика ядра SQL-подібних мов Богатирьова Юлія Олександрівна - ТЕОРІЯ МУЛЬТИМНОЖИН ТА ЇЇ ЗАСТОСУВАННЯ Буй Д.Б. Теоретико-множинні основи табличних баз даних / Д.Б. Буй, Н.Д. Кахута, В.Н. Редько, Л.М. Сільвейструк. – Київ: 2015. – 159 с.