Sejam e conjuntos contidos num mesmo conjunto . Seja um elemento de , definindo-se: então é igual a: