conjunto inferior es definido dualmente.