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