Light on the infinite group relaxation I: foundations and taxonomy