Y se puede representar formalmente así: