Definition:Identity Operator