[05R]↺↻
[05S]↺↻
[05T]↺↻
[05V]↺↻
[05X]↺↻
[05Z]↺↻
[060]↺↻
[1Z2]↺↻
Supponiamo che An⊆X per ogni n. (Possiamo porre X=⋃nAn).
[ [062]↺↻]
[063]↺↻
[064]↺↻
[065]↺↻