Nfinsetoid/
Npossetoid/
Nsetoid/
Qpossetoid/
Qsetoid/
twoelemsetoid/
Zfinsetoid/
Zsetoid/