30.2 One class of events—

, say—is said to 'cover' another class of events—

, say—when every member of a extends over some member of

.

If a be an abstractive class and

covers