Mathematical relations

In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set.

function such that every element of the codomain has a preimage

inverse function of the trigonometric function

property that assigns truth values to k-tuples of individuals

thumb|On/Off buttons of a train's destination sign control panel. Pressing the On button (green) is an idempotent operation, since it has the same effect whether done once or multiple times. Likewise, pressing Off is idempotent. Idempotence (, ) is the property of certain operations in mathematics and computer science whereby they can be applied multiple times without changing the result beyond the initial application. The concept of idempotence arises in a number of places in abstract algebra (in particular, in the theory of projectors and closure operators) and functional programming (in whi

function whose actual domain of definition may be smaller than its input set

inverse image of a singleton in the field of mathematics

expression in propositional calculus

finitary relation in which the number of places in the relation is three

mathematical operation

In mathematics, unimodality means possessing a unique mode. More generally, unimodality means there is only a single highest value, somehow defined, of some mathematical object.

in mathematics, an object whose endomorphisms are isomorphic to another structure

Injection: one to one, surjection: onto, bijection: both one to one and onto.

formal operation that transforms a predicate into a relation