 In such categories, when a logic system is embedded into a larger one by algebraic fibring, any rule as above, which can be considered as a meta-theorem of the logic, is preserved by the canonical injections. This is why this process is called meta-fibring. From the categorial point of view, the process is the same as for algebraic fibring, the only difference being that the notion of morphism is stronger.