Termene vi definerte over har ikke blitt gitt noen formell mening. Historisk sett, så har det vært tre hovedregler som forteller hvordan man kan en term: alpha-konvertering (), beta-konvertering og eta-ekspansjon ().