Is there a name for a equivalence that one proposition is a special case of the other?

Question

Sometimes two theorems are equivalents but one of them is actually a special case of the other. For instance,

1. and Rolle's Theorem and Mean Value Theorem
2. Pythagorean theorem and Law of cosines

Since one is a special case of the other, one direction of implication is imediate. The interesting is the opposite direction. I would like to know if there is a classification for this kind of situation.