Dichas propiedades se abstraen en la siguiente definición.