سیم‌لوله (ریاضیات)