Functional equivalence Dynamic and formal equivalence Formal equivalence checking Functional equivalence (ecology)