Это то, что в лакановской алгебре обозначается как i (a): идеал, взятый у другого, идеал другого (autre).