Inverse Preordered Set is Preordered Set