In: Computer Science
What does it mean for a relation to be left-definite?
A relation is left-definite or left-total or injective if for values x,z the relation R has an output y i.e, R(x) = y and R(z) = y then this implies that x=z.
In other words for distinct inputs we get distinct outputs for left-definite relations