Связка

, связанное вхождение переменной,- тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка - свое и зависит от правил образования этого языка. Вместо С. Н. Нельзя подставлять объекты. Такая подстановка приводит к бессмысленным выражениям. Но замена С. П. Всюду, где она встречается, на новую для данного выражения переменную приводит к выражению с тем же самым смыслом. Напр., в выражениях переменная хявляется связанной. Подстановка вместо хкакого-..

см. Вектор. ..

данного семейства {Sa} - полугруппа S, обладающая разбиением на подполугруппы, классы к-рого суть в точности полугруппы Sa, и для любых Sa,Sb существует Sg такая, что . В этом случае говорят также, что S разложима в связку полугрупп Sa. Другими словами, S есть С. П. Sa, если все Sa- подполугруппы в S и существует конгруэнция r на S такая, что r-классы суть в точности Sa. Полугруппы Sa наз. К о м п о н е н т а м и данной связки. Термин "С. П." согласуется с использованием нередко слова "связка"..

г р у п п ы G - наибольшее связное подмножество G°. Топологической (или алгебраической) группы G, содержащее единицу этой группы. С. К. Е. Go является замкнутой нормальной подгруппой в G. Смежные классы по этой подгруппе совпадают со связными компонентами группы G. Факторгруппа G/G°. Вполне несвязна и хаусдорфова, причем G°. - наименьшая из таких нормальных подгрупп , что G/Hвполне несвязна. Если Gлокально связна (напр., G - группа Ли), то Go открыта в G и G/G°. Дискретна. В прои..