′ be an

-slice of

which is a situation of

, then an abstractive class of

-slices converging to any