En term er på beta normalform hvis det ikke finnes noen slik at , og to termer og er beta-ekvivalente hvis .