Hello, I've just stumbled across definition 2.3.2 (weighted set). I must say that looks surprisingly similar to the definition of a combinatorial class in Molinero's thesis.
Nicolas, do you see a difference? O course the \mathbb{A} is the natural numbers in Molinero, but I am sure also that can be generalised. See also Example 1 on the page before. Ralf ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel