електроконтактний
квазікомпактність
передкомпактність