Sets and integration An outline of the development | EKB DL