Formalmente puede describirse como: