👉 In mathematics and logic, a "contributive" relation is one in which every element of the domain has an inverse element. In other words, if x belongs to a set A, then there exists an element y such that xy = 1 (i.e., y is the multiplicative inverse of x). This property is fundamental in number theory and algebraic geometry.