^^Definizione generale.

Raccogliere, riassumere, integrare tante definizioni particolari in un'unica definizione generale.