Una función total