Fixed Point and Related Theorems for Set-Valued Mappings