F-компактом или компактом Федорчука называется компактное хаусдорфово топологическое пространство, допускающее разложение в специальный вполне упорядоченный обратный спектр с вполне замкнутыми соседними проекциями. F-компакты спектральной высоты 3 – это в точности неметризуемые компакты, допускающие вполне замкнутое отображение на метрический компакт с метризуемыми слоями. Доказано, что такое вполне замкнутое отображение для F-компакта X спектральной высоты 3 определено почти однозначно. А именно, нетривиальные слои любых двух вполне замкнутых отображений X в метрические компакты с метризуемыми прообразами точек совпадают всюду, за исключением, может быть, счетного семейства элементов.
