Есть такая область математики - теория двойственности, в которой встречаются
два довольно любопытных термина. Если отображение двойственности на
элементах /x/ и /y/ обозначается символом (/x/|/y/), то
отображение, обозначаемое символом |/y/), называется кет-отображением
или кетс-отображением. А как называется отображение, обозначаемое символом
(/x/|?