A General Topology Workbook