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