In (2), Fitzpatrick and Ford defined a class of spaces which they called order totally paracompact. This class of spaces is significant since the order totally paracompact metric spaces constitute the largest known class of spaces for which the small and large inductive dimensions coincide. In this paper we shall consider a class of spaces containing the class of order totally paracompact spaces; we shall call these spaces order paracompact. We shall establish the relationship of this class to the more familiar classes of spaces and obtain an invariance theorem for order paracompact spaces analogous to theorems obtained for various other classes.
In what follows, no separation axioms are assumed unless specifically mentioned. Thus, for example, a Lindelöf space is not taken to be Hausdorff without making the further assumption. Therefore, a Lindelöf space is not necessarily paracompact.