Definition:Type M Set/Linguistic Note

Linguistic Note on Principle E
The term Type $M$ appears to have been coined by and  for their

Its use on is therefore expected be limited to those pages arising directly from concepts raised as a result of that work.