Formalmente puede expresarse como: