Dimostrazione
Consiste nel verificare che siano soddisfatte le proprietà della definizione 1. (la lasciamo per esercizio).