Edu:Identity Criteria

From IAOA Wiki

Identity Criteria

An identity criterion for a property P is a binary relation Ip such that

 P(x) & P(y) & Ip(x,y) → x = y. 

[ Guarino, 1999 ]