Identity is a kind of operation that does nothing to the operand being transformed, so that it returns the original operand, or Unit.
Meta-Rule