Пусть Х=Y=R, а отображение φ: Х→Y задается законом у=1/cos x. Нарисовать график отображения и охарактеризовать отображение (всюду определённость, функциональность, отображение «на», взаимная однозначность).
Подскажите, пожалуйста, теоретический источник, где есть определения "всюду определенность" и т.д.

Пусть задано отображение f: X->Y. Если D(f)=X, то отображение f называется всюду определенным.
Отображения множеств

Получается, что заданное отображение не является всюду определенным, так как существует х=пи/2, для которого 1/cosx - не существует, так? Чтобы доказать "не всюду определенность" достаточно контрпримера?
Посмотрела я все характеристи и получилось, что из-за точек вида х= nПи/2 не выполняется ни одно из указанных условий, ни "отображения на", ни функциональности, ни "определена всюду" и как следствие всего этого - не "взаимнооднозначно". Так?