48. Бейнелеуге кері бейнелеудің бар болуының қажетті және жеткілікті шарттары туралы теореманы тұжырымда
Бейнелеу бинарлық қатыстың дербес түрі болғандықтан кері бейнелеу ұғымын бинарлық қатысқа кері қатыс ретінде анықтауға болады. Бірақ мынадай кедергі бар. және жиындары жұбында анықтылған бинарлық қатысы жиынынан жиынына бейнелеу болсын дейік. және жиындары жұбында берілген бинарлық қатысына кері қатыстың жиынынан жиынына бейнелеу болуы міндетті емес.
