in reply to Re: A proper name for is_sorted function that can check more than just sorting order?in thread A proper name for is_sorted function that can check more than just sorting order?