（） is a property of object-oriented software by which an abstract operation may be performed in different ways in different classes.