TSTf a < b