What PG does is that it just traverses the data and that's correct as the SQL standard goes. If the specific result order is needed then the ORDER BY must be present.