# Proposed definitions

## cmavo: jo'u (JOI)

### Proposed Definition

And. Joins two sumti into one sumti. The referents of the resulting sumti are the referents of both sumti considered jointly. More than two sumti may be joined into one sumti by chaining up additional { jo'u SUMTI }.

• and

### Usage Examples

.i mi jo'u la .clsn. cu ciksi tu'a lo cmavo be zo coi
Me and Shoulson are explaining about the cmavo of selma'o COI.

lo za'e tridu cu mixre lo tricu jo'u lo tcidu
A 'treeder' is a mixture of a tree and a reader.

## cmavo: ju'e (JOI)

### Proposed Definition

Vague connective. Joins two sumti into one sumti. The referent of the resulting sumti is some function of the referents of both sumti. More than two sumti may be joined into one sumti by chaining up additional { ju'e SUMTI }.

### Proposed Keywords

• vague connective

### Usage Examples

mi'a casnu zo jetnu ju'e zo fatci ju'e lo si'o jetnu ku ju'e lo si'o fatci
We are discussing about "truth"/"fact"/truth/fact. (IRC, Eimi, 22 Dec 2008 07:40:19)

.i ji'a co'e lo plise ju'e lo perli ju'e lo drata
Also an apple and a pear. (IRC, xalbo, 5 Oct 2010 12:50:22)

## cmavo: fa'u (JOI)

### Proposed Definition

Respectively. Joins two sumti into one sumti. The referents of the resulting sumti are the referents of both sumti considered jointly and distributively in correspondence with another term.

• respectively

### Usage Examples

mi fa'u do klama lo zdani fa'u lo zarci
Me and you go home and to the market, respectively.

li pano fa'u li cinono cu jdima lo nu klama fu lo girzu karce fa'u lo vinji
Ten and three-hundred are the prices of going by bus and by plane, respectively.

## cmavo: joi (JOI)

### Proposed Definition

Non-distributive group. Joins two sumti into one sumti. The referents of the resulting sumti are the referents of both sumti considered jointly and non-distributively. More than two sumti may be joined into one sumti by chaining up additional { joi SUMTI }.

• {gunma}

### Proposed Keywords

• both
• together with
• and

### Usage Example

mi joi ry. ze'a casnu lo lijda ctuca tadji
Me and R have been discussing religious teaching methods.

la .djan. joi la .pitr. cu re mei
John and Peter are two.

la jegvon cu cevni le xriso joi le xebro joi le muslo
Jehovah is the god of the Christians, the Jews and the Muslims.

## cmavo: ce (JOI)

### Proposed Definition

Joins two sumti into one sumti. The referent of the resulting sumti is the set whose members are the referents of both sumti considered jointly. More than two sumti may be joined into one sumti by chaining up additional { ce SUMTI }. Thus, {X ce Y ce Z} creates one single set containing X, Y and Z.

• {cmima}

• and (set)

### Usage Examples

.abu ce by ce cy vasru .abu ce by
{a, b, c} âŠ‡ {a, b}

## cmavo: ce'o (JOI)

### Proposed Definition

Joins two sumti into one sumti. The referent of the resulting sumti is the sequence whose members are the referents of both sumti considered jointly. More than two sumti may be joined into one sumti by chaining up additional { ce'o SUMTI }.

• {porsi}

### Proposed Keywords

• and (sequence)

### Usage Examples

jukpa ce'o citka lo cersai co'o ru'e
Making and eating breakfast, bye for now.

.abu ce'o by cu mleca cy ce'u dy .ijo ge .abu mleca cy gi by mleca dy
(a,b) â‰¤ (c,d) if and only if a â‰¤ c and b â‰¤ d

## cmavo: jo'e (JOI)

### Proposed Definition

Union of sets. Joins two sumti into one sumti. The referent of the resulting sumti is the set which is the union of the sets referred to by each sumti. More than two sumti may be joined into one sumti by chaining up additional { jo'e SUMTI }.

• union

### Usage Examples

lo'i brivla cu du lo'i gismu jo'e lo'i fu'ivla jo'e lo'i lujvo to po'o xu toi
The set of brivla is equal to the union of the set of gismu and the set of fu'ivla and the set of lujvo (only?).

## cmavo: ku'a (JOI)

### Proposed Definition

Intersection of sets. Joins two sumti into one sumti. The referent of the resulting sumti is the set which is the intersection of the sets referred to by each sumti. More than two sumti may be joined into one sumti by chaining up additional { ku'a SUMTI }.

• Intersection

### Usage Examples

xy cmima .abu ku'a by .ijo ge xy cmima .abu gi xy cmima by
x âˆˆ A âˆ© B if and only if x âˆˆ A and x âˆˆ B.

## cmavo: pi'u (JOI)

### Proposed Definition

Cross product of sets. Joins two sumti into one sumti. The referent of the resulting sumti is the set which is the cross product of the sets referred to by each sumti.

### Proposed Keywords

• Set Product
• Cartesian Product

### Usage Examples

le'i bebna ku pi'u le'i mabla sidbo ku cu barda
The cross product of the set of silly things and the set of bad ideas is large.

{BOX()}

## Formal definitions

 X ju'e Y = lo co'e be X bei Y X jo'u Y = lo suzmei noi ge X .e Y me ke'a gi ro me ke'a cu me X gi'a me Y X joi Y = lo gunma be X .e Y X ce Y = lo se cmima be X .e Y .e no drata be X .e Y X ce'o Y = lo porsi be fi X jo'u Y be'o noi X lidne Y ke'a X jo'e Y = lo selcmi noi ro cmima be ke'a cu cmima X .a Y X ku'a Y = lo selcmi noi ro cmima be ke'a cu cmima X .e Y X pi'u Y = lo selcmipi'i be X bei Y sumti1 fa'u sumti2 sumti3 fa'u sumti4 selbri == sumti1 sumti3 selbri .i sumti2 sumti4 selbri

1. The definitions given correspond to their use as sumti connectives. Other uses (when they make sense) have yet to be added.
{"ft_lang_label":"__label__en","ft_lang_prob":0.80174106,"math_prob":0.66397804,"size":2615,"snap":"2022-05-2022-21","text_gpt3_token_len":745,"char_repetition_ratio":0.21600918,"word_repetition_ratio":0.52446187,"special_character_ratio":0.24359465,"punctuation_ratio":0.08007449,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9791457,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-05-17T04:01:04Z\",\"WARC-Record-ID\":\"<urn:uuid:8e7fb272-0181-4781-8e7b-8c451a199b3a>\",\"Content-Length\":\"131757\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:00701c8d-0b93-4e16-b92d-6505fd6b6e8d>\",\"WARC-Concurrent-To\":\"<urn:uuid:9edbec0b-e7ec-435a-bb22-fc5182295b9a>\",\"WARC-IP-Address\":\"50.250.232.18\",\"WARC-Target-URI\":\"https://tiki.lojban.org/tiki-pagehistory.php?page=BPFK+Section%3A+Non-logical+Connectives&preview=22\",\"WARC-Payload-Digest\":\"sha1:S4QPROQUHWXBO7JO3YUAJDOMRIFNOVOC\",\"WARC-Block-Digest\":\"sha1:S5ZPVHTQ2IYRHS4ZZPHSWRLZYQY43A4J\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-21/CC-MAIN-2022-21_segments_1652662515501.4_warc_CC-MAIN-20220517031843-20220517061843-00199.warc.gz\"}"}