Keith (#10), it isn't clear from your description how the \\(\le\\) relation is to be defined.