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.

\(\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 \).

\(\sqrt A \) xác định hay có nghĩa khi \(A \ge 0\). Từ đó ta giải bất phương trình để tìm điều kiện xác định.