Return-path: Envelope-to: jbovlaste-admin@lojban.org Delivery-date: Sat, 25 Dec 2021 17:00:38 -0800 Received: from [192.168.123.254] (port=33346 helo=jiten.lojban.org) by 7051bea86fdb with smtp (Exim 4.94.2) (envelope-from ) id 1n1Htr-001GJA-DX for jbovlaste-admin@lojban.org; Sat, 25 Dec 2021 17:00:37 -0800 Received: by jiten.lojban.org (sSMTP sendmail emulation); Sun, 26 Dec 2021 01:00:35 +0000 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word pau'ei -- By krtisfranks Date: Sun, 26 Dec 2021 01:00:35 +0000 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Message-Id: X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - In jbovlaste, the user krtisfranks has edited a definition of "pau'ei" in the language "English". Differences: 5,5c5,5 < Possibly also could be used as a nonlogical "connective" of sorts. For accessing more than one cardinality in $X_2$, use modifiers ("less than"/"greater than") or vague numbers; default: «su'o no», which outputs the set of all subsets of $X_1$; thus, the unary operator is just the standard power set operator. --- > Possibly also could be used as a nonlogical "connective" of sorts. For accessing more than one cardinality in $X_2$, use modifiers ("less than"/"greater than") or vague numbers; default: "su'o no", which outputs the set of all subsets of $X_1$; thus, the unary operator is just the standard power set operator. Old Data: Definition: mekso operator: power set - produces the set of all subsets of set $X_1$ that are of (any) size (that is) $X_2$ [a nonnegative integer or transfinite/infinite number; default: su'o no]. Notes: Possibly also could be used as a nonlogical "connective" of sorts. For accessing more than one cardinality in $X_2$, use modifiers ("less than"/"greater than") or vague numbers; default: «su'o no», which outputs the set of all subsets of $X_1$; thus, the unary operator is just the standard power set operator. Jargon: Gloss Keywords: Word: power set operator, In Sense: Place Keywords: New Data: Definition: mekso operator: power set - produces the set of all subsets of set $X_1$ that are of (any) size (that is) $X_2$ [a nonnegative integer or transfinite/infinite number; default: su'o no]. Notes: Possibly also could be used as a nonlogical "connective" of sorts. For accessing more than one cardinality in $X_2$, use modifiers ("less than"/"greater than") or vague numbers; default: "su'o no", which outputs the set of all subsets of $X_1$; thus, the unary operator is just the standard power set operator. Jargon: Gloss Keywords: Word: power set operator, In Sense: Place Keywords: You can go to to see it.