Shrinking good coordinate systems associated to Kuranishi structures (Q508095)

The notion of Kuranishi structure was introduced by the first and the last author in symplectic topology [Topology 38, No. 5, 933--1048 (1999; Zbl 0946.53047)]. In the same paper, the first and the last author introduced the notion of good coordinate system for the construction of a virtual fundamental chain associated to a space with Kuranishi structure. The process was further investigated by the authors in several papers. In this note, abstract notions related to abstract good coordinate systems are introduced in the field of general topology. The purpose is to clarify this part separating it from other parts of the theory of Kuranishi structures. The main result states that it is always possible to shrink a good coordinate system so that the obtained ``ambient space'' is Hausdorff.