*Definition [#ue069731]
The definition is the same as that of [[almost-compact]].