⑴两条直线a,b没有公共点,那么a与b是异面直线.
⑵如果直线a,b和平面α满足a∥平面α,b∥平面α,那么a∥b.
⑶如果直线a,b和平面α满足a∥b,a∥平面α,那么b∥平面α.
⑷若直线a不平行于平面α,则平面α内不存在与直线a平行的直线.
⑸如果直线a∥平面α,点P∈平面α,那么过点P且平行于直线a的直线只有一条,且在平面α内.