Net Characterisation of Compactness