Функциональный анализ. Не ошибка ли в Викиучебнике?

Господа, подскажите, пожалуйста, ошибаюсь ли я или нет. В доказательстве Леммы № 1 по этой ссылке http://ru.wikibooks.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D0%B9_%D0%B4%D0%B5%D0%B9%D1%81%D1%82%D0%B2%D0%B8%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D0%B5%D1%80%D0%B5%D0%BC%D0%B5%D0%BD%D0%BD%D0%BE%D0%B3%D0%BE/%D0%A1%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B5%D1%81%D1%82%D0%B2 говорится, что An принадлежит объединению B1, B2, ..., Bp. Но не должен ли там стоять знак включения вместо принадлежности, что, если я не ошибаюсь, должно следовать из включения An в A, и что, кажется, используется в дальнейшем утверждении о том, что "так как любая точка An принадлежит одному из множеств Bk..." (то есть, используется определение включения). Спасибо!

Благодарю