Iterative Fixed Points Theorems for Set-Valued Mappings