Gentoo Archives: gentoo-dev

From: Michael Orlitzky <mjo@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] New Working Group established to evaluate the stable tree
Date: Mon, 15 Aug 2016 19:19:51
Message-Id: d7624979-c0d6-6c8e-31b5-7dee9cacf2e7@gentoo.org
In Reply to: Re: [gentoo-dev] New Working Group established to evaluate the stable tree by "Andreas K. Hüttel"
1 On 08/15/2016 03:18 PM, Andreas K. Hüttel wrote:
2 > Am Sonntag, 14. August 2016, 23:57:31 schrieb Ciaran McCreesh:
3 >>
4 >> I'm not sure what a group is. Is it anything like a herd?
5 >
6 > It's a set with a binary operator, with following fulfilled:
7 > * closed with respect to the operation
8
9 THIS IS PART OF THE DEFINITION OF A BINARY OPERATOR!!!