From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id DD33213832E for ; Mon, 15 Aug 2016 19:19:51 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id E8A05E0C22; Mon, 15 Aug 2016 19:19:46 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id F11A7E0C0D for ; Mon, 15 Aug 2016 19:19:45 +0000 (UTC) Received: from [192.168.1.100] (c-98-218-46-55.hsd1.md.comcast.net [98.218.46.55]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: mjo) by smtp.gentoo.org (Postfix) with ESMTPSA id DEB72340FD9 for ; Mon, 15 Aug 2016 19:19:44 +0000 (UTC) Subject: Re: [gentoo-dev] New Working Group established to evaluate the stable tree To: gentoo-dev@lists.gentoo.org References: <6046d13b-1a54-aa5e-ab16-df448b0f8c59@gentoo.org> <411ea6a5-3463-5d36-b891-4ed65f7717b0@gentoo.org> <20160814225731.15f3e273@snowflex> <201608152118.22935.dilfridge@gentoo.org> From: Michael Orlitzky Message-ID: Date: Mon, 15 Aug 2016 15:19:42 -0400 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 In-Reply-To: <201608152118.22935.dilfridge@gentoo.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Archives-Salt: fc12e755-8766-495c-b0ed-7881579b91af X-Archives-Hash: 3ab3980808cfa1fa6e7bf26a1545c2a9 On 08/15/2016 03:18 PM, Andreas K. Hüttel wrote: > Am Sonntag, 14. August 2016, 23:57:31 schrieb Ciaran McCreesh: >> >> I'm not sure what a group is. Is it anything like a herd? > > It's a set with a binary operator, with following fulfilled: > * closed with respect to the operation THIS IS PART OF THE DEFINITION OF A BINARY OPERATOR!!!