A fundamental concept in number theory that involves whether one integer can be divided exactly by another integer.