More on subfitness and fitness (Q2350315)

Fitness and subfitness are useful separation properties in point-free topology introduced by \textit{J. R. Isbell} [Math. Scand. 31, 5--32 (1972; Zbl 0246.54028)]. The authors further study these concepts, supplementing \textit{H. Simmons} [Appl. Categ. Struct. 14, No. 1, 1--34 (2006; Zbl 1102.06008)]. They also introduce another related property, that of prefitness. Subfitness and prefitness are independent of each other, and in conjunction they are strictly weaker than fitness. Some interesting facts about these three separation properties are presented, also in relation with other separation properties in point-free topology.