set-theoretical