Вхождение переменной в формулу называется связанным, если оно находится в области действия квантора, использующего эту переменную, или же оно является вхождением в этот квантор. Вхождение переменной в формулу называется свободным, если оно не является связанным. Например в
оба вхождения x связанные, а единственное вхождение y свободно.
В формуле:
каждое вхождение каждой из переменных связанное. Переменная свободна в формуле, если по меньшей мере одно ее вхождение свободно; переменная связана в формуле, если по меньшей мере одно ее вхождение связано.
