Verb
To become compact or more compact.
Gebrauch- scherzhaft
- intransitiv
To render (a thing) compact or more compact.
Gebrauch- scherzhaft
- transitiv
To enlarge (a topological space) in order to render it compact.
Gebrauch- transitiv
To adjust a theory so as to render finite or periodic (a theoretical space-time dimension).
Gebrauch- transitiv