Definition:Well-Defined Operation