Definition:Pencil of Lines