set-theoretical model