x=sin y харьцаагаар x -ийн өгөдсөн утгаар y -ийг, y -ийн өгөдсөн утгаар x (|x|≤1) -ийг олж болно. Иймээс синусыг өнцгийн функцээс гадна өнцгийг синусын функц мэтээр авч үзэж болно. Үүнийг y=arcsin x / arcsin – арксинус гэж уншина / гэж бичиж болно. Жишээ нь, 1/2=sin 30°  гэхийн оронд 30°=arcsin 1/2 гэж бичиж болно. Сүүлийн бичлэгийн хувьд өнцгийг голдуу радианаар π/6=arcsin 1/2 гэж бичдэг.
Синус нь x тэй тэнцүү өнцгийг arcsin x гэнэ. arccos x, arctan x, arccot x, arcsec x, arccosec x функцүүд бүгдээрээ arcsin x тэй адилхан тодорхойлогдоно. Эдгээр функцүүд нь sin x, cos x, tan x, cot x, sec x, cosec x функцүүдтэй эсрэг харьцаатай байдаг тул тригнометрийн урвуу функцүүд гэдэг.

Теорем, аксиом, тодорхойлолт

Баталгаа - Ямар нэгэн шинж чанарыг тогтоохыг хэлэлцэх.
Теорем - Баталгаа шаардсан ямар нэгэн шинж чанарыг тогтоохыг нотлох. Теоремуудыг бас лемм, шинж, үр дагавар, дүрэм, чанар, нотолгоо гэж нэрлэдэг. Теоремыг өмнө нь тогтоосон шинжүүдийг үндэслэн баталдаг. Геометрт зарим шинж чанарыг үндсэн гэж үзэж баталгаа шаардахгүй хэрэглэдэг.
Аксиом - Баталгаагүйгээр ашигладаг зарим шинж чанарыг тогтоосон нотолгоо. Аксиом нь туршилтаас үүсдэг бөгөөд туршилт нь тэдгээрийн үнэнийг бүхэлд нь тогтооно.Янз бүрийн аргаар аксиомуудыг зохиож болно. Гэхдээ аксиом нь геометрийн бусад шинж чанарыг батлахад хангалттай байх хэрэгтэй. Нэг аксиомыг нөгөөгөөр соливол энэ нь теорем болж байгаа тул түүнийг батлах хэрэгтэй болдог.

Логарифмыг ердийн тоонуудын адилаар нэмж, хасан төрөл бүрээр хувиргаж болдог. Гэхдээ логарифм бол ердийн тоонууд биш болохоор энд үндсэн чанарууд гэж нэрлэгдэх өөрийн гэсэн дүрэм үйлчилнэ. Эдгээрийг заавал мэддэг байх хэрэгтэй. Үгүй бол логарифмын ямар ч бодлогыг бодох боломжгүй юм. Үндсэн чанарууд олон биш учраас сайн ойлгоод дадлага хийхэд тэдгээрийг тогтоон авахад их цаг хугацаа шаардахгүй. Ингээд логарифмын үндсэн чанаруудтай танилцая.

Олонлогийг латин цагаан толгойн том, элементийг жижиг үсгээр нь тэмдэглэдэг. энэ бичлэг нь a нь R олонлогийн элемент ба энэ олонлогт харьяалагдана гэснийг илэрхийлнэ. Эсрэгээр a нь R олонлогт харьяалагдахгүй гэдгийг гэж бичнэ.
Хэрвээ A олонлогийн элемент бүр нь B олонлогт харьяалагддаг эсрэгээрээ B олонлогийн элемент бүр нь A олонлогт харьяалагддаг байвал эдгээрийг тэнцүү олонлогууд (A=B) гэнэ.
Хэрвээ A олонлогийн элемент бүр нь B олонлогт харьяалагддаг бол A олонлог нь B олонлогт багтсан эсвэл A олонлог нь B олонлогийн дэд олонлог гэж хэлдэг. /Зур. 1/ Энэ тохиолдлыг гэж бичнэ. Дурын A олонлогийн хувьд багтаалт хүчинтэй.