Está definido por