Notes
lw is an infinite set.
lwÕs members are all finite.
lw does not contain infinity (´) as an element.