Operations on ordered sequences