and

, are abstractive classes; then each member of

, the covering class, extends over the whole converging end of

subsequent to the first member of

which it extends over.