This is really a comment but I don't have enough reputation points for that. It is a little more specific than Joël's.
It's a small world. How many papers are out there where the author defines some type of supremum of a set of elements in a group? Perhaps you have disguised the actual mathematical structure.
