NTs
theoretical set X
explicit set M
,
,
,