Estas ideas quedan formalizadas mediante las siguientes expresiones: