A many sorted generalization, called case relation, of the notion of equ'valence relation is given. Some fundamental properties of the case relations are proved, such as: some set theoretical characterizations and a formula which describes all case relations of the given sets.