Definition:

tie