Inhabited set is separator for the category of sets

From Problemania
Jump to: navigation, search