Den første definisjonen brukes oftest i tallteorien mens den siste brukes innenfor predikatlogikk, mengdelære og datateknologi.