[05R]↺↻
[05S]↺↻
[05T]↺↻
[05V]↺↻
[05X]↺↻
[05Z]↺↻
[060]↺↻
[1Z2]↺↻
We suppose that An⊆X for every n. (We can set X=⋃nAn).
[ [062]↺↻]
[063]↺↻
[064]↺↻
[065]↺↻