Se define trivialmente como: