Would it be agreeable to write that "In Wikipedia, we reserve the term "groupoid" for the first meaning, and use "magma" for the second? Otherwise, we can never use "groupoid" anywhere without a half sentence explanation. AxelBoldt 17:47 Oct 29, 2002 (UTC)