简单来说，formula_3将formula_1中的每条边各自抽象成一个顶点；如若原图中两条边相邻，那么就给线图中对应顶点之间连接一条边。因为线图将原图的边化作了顶点，所以也可以将其视作原图的一种对偶。哈斯勒·惠特尼证明了：假定图formula_1是连通的，那么除了一种特殊情况外，我们总能根据线图formula_3的结构还原出formula_1的结构。以该定理为中介，可以证明线图的许多其它性质。线图总是无爪图，即线图的所有导出子图均不是formula_9。
正式定义.图form