Isoelectric focusing (IEF) separates proteins by their isoelectric point (pI), defined as the pH where a protein carries no net charge. During IEF, proteins migrate through a pH gradient until they reach their pI, at which point movement stops.