well ordered set definition