Se , , forem conjuntos tais que então , , , nesta ordem,