Así, si "E" es un conjunto medible, se define