set-theoretical definition