ordered set notation