Se definen de forma expresa: