Changing a small typo and the proof of non empty sets in definition 1