Functional classes and equivalence relations

Functional classes and equivalence relations