divixtotal que son bienes raices definicion