... definition¹

The notation is slightly informal. DispSeq is really an ordered sequence rather than a set. We occasionally use the name loosely to refer to the set of its elements.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...AllDisps²

If AllDisps is empty (which could happen for a derived datatype created with replication count of zero, for instance) the results of Lb, Ub and thus Extent are undefined.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.