En sammanfattning av resonemanget ovan innebär följande definition :