Text this: Total compactness of a-inductive partially ordered sets