任何相贯线具有以下基本性质：相贯线是两个基本体表面的（），也是两相交立体的分界线.相贯线上的所有点都是两回转体表面的（）.