Himpunan fungsi y 1 ( x ) , y 2 ( x ) , ⋯ , y n( x) (yang mempunyai turunan) adalah bebas linier pada suatu

selang jika determinan:

| |
y 1 (x) y 2 (x ) ⋯ y n (x)
' '
W ( y 1 , y 2 , ⋯ , y n )= y 1(x ) y 2 ( x) ⋯ y ' n ( x) ≠ 0
⋮ ⋮ ⋮ ⋮
n−1 n−1 n−1
y 1 ( x) y 2 ⋯ yn ( x )

Determinan tersebut dinamakan determinan Wronski.