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 .