Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Sun, 28 Apr 2024 21:26:59 -0700
From: "Apache" <apache@lojban.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word ci'ai'u -- By krtisfranks
Date: Mon, 29 Apr 2024 04:26:56 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1s1IbR-000Eo4-0k@11bda84a326c>
X-Spam_score: -1.0
X-Spam_score_int: -9
X-Spam_bar: -


In jbovlaste, the user krtisfranks has edited a
definition of "ci'ai'u" in the language "English".

Differences:

2,2c2,2
< 		unary mex operator: n-set; maps a nonnegative integer 'a' to the set $\{1, \dots ,a\}$ (the intersection of the set of all natural numbers with the closed ordered interval [1,a] such that $a$ geq $1$).
---
> 		unary or binary mex operator: $n$-set or integer interval; in unary form, it maps a nonnegative integer '$X_1 = n$' to the set $\{1, \dots , n\}$ (the intersection of the set of exactly all positive with the closed ordered interval [$1, n$] such that $n$ geq $1$); in binary torm, it maps ordered inputs $(X_1, X_2) = (m, n)$ to intersection of the set of exactly all integers with [$m, n$].
5,5c5,5
< 		0 maps to the empty set. Inputting infinity produces the set of all natural numbers, N.
---
> 		$0$ on its own induces the unary form of this word and thus maps to the empty set. Inputting infinity produces the set of exactly positive integers (natural numbers), N. The upper bound is always specified; when the lower bound is not specified, it defaults to $1$. If this word is represented by $f$ and if $n, m \in \mathbb{Z} \cup \{\pm \infty \}: 0, m \leq n$, then $f(m, n) = \mathbb{Z} \cap [m, n]$ and $f(n) = f(1, n) = \mathbb{Z} \cap [1, n]$.
12a13,13
\n> 		Word: integer interval, In Sense: 


Old Data:

	Definition:
		unary mex operator: n-set; maps a nonnegative integer 'a' to the set $\{1, \dots ,a\}$ (the intersection of the set of all natural numbers with the closed ordered interval [1,a] such that $a$ geq $1$).

	Notes:
		0 maps to the empty set. Inputting infinity produces the set of all natural numbers, N.

	Jargon:
		

	Gloss Keywords:
		Word: natural number interval, In Sense: 
		Word: n-set, In Sense: 

	Place Keywords:


New Data:

	Definition:
		unary or binary mex operator: $n$-set or integer interval; in unary form, it maps a nonnegative integer '$X_1 = n$' to the set $\{1, \dots , n\}$ (the intersection of the set of exactly all positive with the closed ordered interval [$1, n$] such that $n$ geq $1$); in binary torm, it maps ordered inputs $(X_1, X_2) = (m, n)$ to intersection of the set of exactly all integers with [$m, n$].

	Notes:
		$0$ on its own induces the unary form of this word and thus maps to the empty set. Inputting infinity produces the set of exactly positive integers (natural numbers), N. The upper bound is always specified; when the lower bound is not specified, it defaults to $1$. If this word is represented by $f$ and if $n, m \in \mathbb{Z} \cup \{\pm \infty \}: 0, m \leq n$, then $f(m, n) = \mathbb{Z} \cap [m, n]$ and $f(n) = f(1, n) = \mathbb{Z} \cap [1, n]$.

	Jargon:
		

	Gloss Keywords:
		Word: natural number interval, In Sense: 
		Word: n-set, In Sense: 
		Word: integer interval, In Sense: 

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/ci'ai'u> to see it.