A right function, also known as a right-handed function, is a mathematical function that satisfies the property that for any two distinct input values, the corresponding output values are also distinct. This means that a right function always produces a unique output for each unique input, without any overlap or duplication.