Es decir deseamos asociar a cualquier G-fibrado principal "P" → "X" un elemento c("P") en "H "("X") tal que, si "f": "Y" → "X" es una función continua, entonces "c"("f" "P") = "f" "c"("P").