Added identity map operator to definitions