[00DG]

Consider a species . By this and by this, restricts to

In other words, is given precisely by what is does on each , since