For a given knot
in
, choose a Seifert
surface
in
for
and a bicollar
in
. If
is represented by a 1-cycle in
, let
denote the homology cycle carried by
in the bicollar. Similarly, let
denote
. The function
defined by
where lk denotes the linking number, is called a Seifert form for .