Extensional

A relation on a set is extensional if members of are uniquely determined by their -predecessors: