add inequality relation