added finite and updated set