Да, действительно эндоморфизмы тоже создают поток, то только у автоморфизмов его всегда можно повернуть вспять, то есть имеет место "нулевая потеря информации".

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

(Reply to this) (Parent)