hgr

как это называется, если:

есть функция
F, отбражающая А на В,
и есть функция
G, отображающая В на А,

однако:

две эти функции не являются обратными по отношению друг к другу, т.к. преобразование А на В возможно лишь в условиях осуществления преобразования В на А (и наоборот). т.е. отдельно друг от друга они не существуют.

т.е. между ними соотношение дополнительности, если не ошибаюсь, и принцип неопределенности тоже действует (по отношению к элементам множеств А и В).

мне кажется, что д.б. для этого дела какой-нить формальный аппарат.

еще иначе сформулирую тот же вопрос: как задать такое отношение между логическими функциями, которое было бы одновременно конъюнкцией и дизъюнкцией (т.е., по определению, у нас такая логика, где это возможно).

АПДЕЙТ см. комменты, а также я тут отчасти вспомнил, как называется та область, из которой у меня вопрос. кажется, это называется нежесткие множества (или как-то похоже). в этой теории д.б. свой аналог понятию "обратная функция". вот об ём я и спрашиваю.