underlying sets