The function "ordering" is just qualitatively describing functions. The functions are qualitatively different for every type; that is Se for ESFp is different than Se for INTp; but there is no order in how they are processed. They all happen simultaneously. If there were an order, you would be looking at 256 potential types. Since we have 16, there is no order. But you can add order to the function "order" and get more types - that is what subtype does, places order by grouping functions into blocks. Really there is confining block between functions until you place a subtype onto the type.