PRZEBIEG ZMIAN, ultraprodukt NQTs
w matematyce: sposób budowania nowych modeli z danej rodziny modeli