The following pages link to A function is continuous if and only if the pre-image of every basis element is open: