Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Mon, 09 Jan 2023 00:50:11 -0800 Received: from [192.168.123.254] (port=54498 helo=jiten.lojban.org) by d7893716a6e6 with smtp (Exim 4.94.2) (envelope-from ) id 1pEnr7-00FT3F-2x for jbovlaste-admin@lojban.org; Mon, 09 Jan 2023 00:50:11 -0800 Received: by jiten.lojban.org (sSMTP sendmail emulation); Mon, 09 Jan 2023 08:50:09 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word vei'o -- By krtisfranks Date: Mon, 9 Jan 2023 08:50:08 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has added a definition of "vei'o" in the language "English". New Data: Definition: binary mekso operator: form quotient space $X_1/X_2$. Notes: This word generates/outputs quotient space $Q = X_1/X_2$. $X_1$ is an algebraic structure. $X_2$ is a subset of the set underlying $X_1$ such exactly and all of the elements of $X_2$ are those elements which are treated as equalling the relevant identity element ($0$) in $Q$ (when there is ambiguity, then $0$ is the additive identity element in $Q$). $X_2$ is the equivalence class of $0$ in $Q$; thus, $X_2$ can also be denoted by an equivalence relation. Jargon: Gloss Keywords: Word: quotient space, In Sense: Word: coset, In Sense: Word: co-set, In Sense: Place Keywords: You can go to to see it.