NTs

theoretical set X

explicit set M

,

,

,