Properties of Fuzzy Relation Inequalities with Addition-Min Composition