Căn thức bậc hai là biểu thức có dạng \(\sqrt A \), trong đó A là một biểu thức đại số. A được gọi là biểu thức lấy căn hoặc biểu thức dưới dấu căn.

Điều kiện xác định của phương trình là điều kiện các giá trị của ẩn trong biểu thức được xác định.

\(\sqrt A \) xác định khi A lấy giá trị không âm và ta thường viết là \(A \ge 0\). Ta nói \(A \ge 0\) là điều kiện xác định (hay điều kiện có nghĩa) của \(\sqrt A \).