module compact sets