exchange identity

Мат. тождество обмена (в операционном исчислении)