definition of simply ordered set