Estas definiciones pueden utilizarse sin tener en cuenta la implementación que se hará de ellos.