In other words, F respects addition, multiplication and identity element.

• 换言之，F保持加，乘法和单位元。