Defining sets as sufficient typically starts at the subset and looks outwards. Per the example, cat-set is sufficient for mammal-set.

On the other hand, when you define sets as necessary, you start at the superset and looks inward. Per the example, mammal-set is necessary for cat-set.

This is how the terms sufficient and necessary are able to accurately describe the relationship between sets.