Para todo objeto "B" de "C", definimos :