bijektio

bijektio (nominative singular)
bijektiot (nominative plural)
bijektio (accusative nominative singular)
bijektiot (accusative nominative plural)
bijektion (accusative genitive singular)
bijektiot (accusative genitive plural)
bijektion (genitive singular)
bijektioiden (genitive plural)
bijektioitten (genitive plural)
bijektiota (partitive singular)
bijektioita (partitive plural)
bijektiossa (inessive singular)
bijektioissa (inessive plural)
bijektiosta (elative singular)
bijektioista (elative plural)
bijektioon (illative singular)
bijektioihin (illative plural)
bijektiolla (adessive singular)
bijektioilla (adessive plural)
bijektiolta (ablative singular)
bijektioilta (ablative plural)
bijektiolle (allative singular)
bijektioille (allative plural)
bijektiona (essive singular)
bijektioina (essive plural)
bijektioksi (singular translative)
bijektioiksi (plural translative)
bijektiotta (abessive singular)
bijektioitta (abessive plural)
bijektioin (instructive plural)
See the possessive forms below. (comitative)
bijektioni (nominative singular)
bijektioni (nominative plural)
bijektioni (accusative nominative singular)
bijektioni (accusative nominative plural)
bijektioni (accusative genitive singular)
bijektioni (accusative genitive plural)
bijektioni (genitive singular)
bijektioideni (genitive plural)
bijektioitteni (genitive plural)
bijektiotani (partitive singular)
bijektioitani (partitive plural)
bijektiossani (inessive singular)
bijektioissani (inessive plural)
bijektiostani (elative singular)
bijektioistani (elative plural)
bijektiooni (illative singular)
bijektioihini (illative plural)
bijektiollani (adessive singular)
bijektioillani (adessive plural)
bijektioltani (ablative singular)
bijektioiltani (ablative plural)
bijektiolleni (allative singular)
bijektioilleni (allative plural)
bijektionani (essive singular)
bijektioinani (essive plural)
bijektiokseni (singular translative)
bijektioikseni (plural translative)
bijektiottani (abessive singular)
bijektioittani (abessive plural)
bijektioineni (comitative plural)
bijektiosi (nominative singular)
bijektiosi (nominative plural)
bijektiosi (accusative nominative singular)
bijektiosi (accusative nominative plural)
bijektiosi (accusative genitive singular)
bijektiosi (accusative genitive plural)
bijektiosi (genitive singular)
bijektioidesi (genitive plural)
bijektioittesi (genitive plural)
bijektiotasi (partitive singular)
bijektioitasi (partitive plural)
bijektiossasi (inessive singular)
bijektioissasi (inessive plural)
bijektiostasi (elative singular)
bijektioistasi (elative plural)
bijektioosi (illative singular)
bijektioihisi (illative plural)
bijektiollasi (adessive singular)
bijektioillasi (adessive plural)
bijektioltasi (ablative singular)
bijektioiltasi (ablative plural)
bijektiollesi (allative singular)
bijektioillesi (allative plural)
bijektionasi (essive singular)
bijektioinasi (essive plural)
bijektioksesi (singular translative)
bijektioiksesi (plural translative)
bijektiottasi (abessive singular)
bijektioittasi (abessive plural)
bijektioinesi (comitative plural)
bijektiomme (nominative singular)
bijektiomme (nominative plural)
bijektiomme (accusative nominative singular)
bijektiomme (accusative nominative plural)
bijektiomme (accusative genitive singular)
bijektiomme (accusative genitive plural)
bijektiomme (genitive singular)
bijektioidemme (genitive plural)
bijektioittemme (genitive plural)
bijektiotamme (partitive singular)
bijektioitamme (partitive plural)
bijektiossamme (inessive singular)
bijektioissamme (inessive plural)
bijektiostamme (elative singular)
bijektioistamme (elative plural)
bijektioomme (illative singular)
bijektioihimme (illative plural)
bijektiollamme (adessive singular)
bijektioillamme (adessive plural)
bijektioltamme (ablative singular)
bijektioiltamme (ablative plural)
bijektiollemme (allative singular)
bijektioillemme (allative plural)
bijektionamme (essive singular)
bijektioinamme (essive plural)
bijektioksemme (singular translative)
bijektioiksemme (plural translative)
bijektiottamme (abessive singular)
bijektioittamme (abessive plural)
bijektioinemme (comitative plural)
bijektionne (nominative singular)
bijektionne (nominative plural)
bijektionne (accusative nominative singular)
bijektionne (accusative nominative plural)
bijektionne (accusative genitive singular)
bijektionne (accusative genitive plural)
bijektionne (genitive singular)
bijektioidenne (genitive plural)
bijektioittenne (genitive plural)
bijektiotanne (partitive singular)
bijektioitanne (partitive plural)
bijektiossanne (inessive singular)
bijektioissanne (inessive plural)
bijektiostanne (elative singular)
bijektioistanne (elative plural)
bijektioonne (illative singular)
bijektioihinne (illative plural)
bijektiollanne (adessive singular)
bijektioillanne (adessive plural)
bijektioltanne (ablative singular)
bijektioiltanne (ablative plural)
bijektiollenne (allative singular)
bijektioillenne (allative plural)
bijektionanne (essive singular)
bijektioinanne (essive plural)
bijektioksenne (singular translative)
bijektioiksenne (plural translative)
bijektiottanne (abessive singular)
bijektioittanne (abessive plural)
bijektioinenne (comitative plural)
bijektionsa (nominative singular)
bijektionsa (nominative plural)
bijektionsa (accusative nominative singular)
bijektionsa (accusative nominative plural)
bijektionsa (accusative genitive singular)
bijektionsa (accusative genitive plural)
bijektionsa (genitive singular)
bijektioidensa (genitive plural)
bijektioittensa (genitive plural)
bijektiotaan (partitive singular)
bijektiotansa (partitive singular)
bijektioitaan (partitive plural)
bijektioitansa (partitive plural)
bijektiossaan (inessive singular)
bijektiossansa (inessive singular)
bijektioissaan (inessive plural)
bijektioissansa (inessive plural)
bijektiostaan (elative singular)
bijektiostansa (elative singular)
bijektioistaan (elative plural)
bijektioistansa (elative plural)
bijektioonsa (illative singular)
bijektioihinsa (illative plural)
bijektiollaan (adessive singular)
bijektiollansa (adessive singular)
bijektioillaan (adessive plural)
bijektioillansa (adessive plural)
bijektioltaan (ablative singular)
bijektioltansa (ablative singular)
bijektioiltaan (ablative plural)
bijektioiltansa (ablative plural)
bijektiolleen (allative singular)
bijektiollensa (allative singular)
bijektioilleen (allative plural)
bijektioillensa (allative plural)
bijektionaan (essive singular)
bijektionansa (essive singular)
bijektioinaan (essive plural)
bijektioinansa (essive plural)
bijektiokseen (singular translative)
bijektioksensa (singular translative)
bijektioikseen (plural translative)
bijektioiksensa (plural translative)
bijektiottaan (abessive singular)
bijektiottansa (abessive singular)
bijektioittaan (abessive plural)
bijektioittansa (abessive plural)
bijektioineen (comitative plural)
bijektioinensa (comitative plural)

Internationalism (see French bijection).


well-order

well-orders (plural)
well order (alternative)

1986, G. Richter, Noetherian semigroup rings with several objects, G. Karpilovsky (editor), Group and Semigroup Rings, Elsevier (North-Holland), page 237,
̲X is well-order enriched iff every morphism set ̲X(X,Y) carries a well-order ≤_(XY) such that
f≨_(XY)g⇒h•f≨_(XY)h•g
for every h:Y→Z.

2001, Robert L. Vaught, Set Theory: An Introduction, Springer (Birkhäuser), 2nd Edition, Softcover, page 71,
Some simple facts and terminology about well-orders were already given in and just before 1.8.4. Here are some more: In a well-order A, every element x is clearly of just one of these three kinds: x is the first element; x is a successor element - i.e., x has an immediate predecessor; or x is a limit element - i.e., x has a predecessor but no immediate predecessor. The structure (∅, ∅) is a well-order.

2014, Abhijit Dasgupta, Set Theory: With an Introduction to Real Point Sets, Springer (Birkhäuser), page 378,
Definition 1226 (Von Neumann Well-Orders). A well-order X is said to be a von Neumann well-order if for every x∈X, we have x=y∈X|y<x (that is x is equal to the set Pred(x) consisting of its predecessors).
Clearly the examples listed by von Neumann above, namely
empty , empty, empty ,empty, empty ,empty,empty ,empty, …
are all von Neumann well-orders if ordered by the membership relation "∈," and the process can be iterated through the transfinite. Our immediate goal is to show that these and only these are the von Neumann well-orders, with exactly one von Neumann well-order for each ordinal (order type of a well-order). This is called the existence and uniqueness result for the von Neumann well-orders.

(set theory, order theory) A total order of some set such that every nonempty subset contains a least element.


well-order

en-verb

well-order (third-person singular simple present well-orders, present participle well-ordering, simple past and past participle well-ordered)

well-orders (present singular third-person)
well-ordering (participle present)
well-ordered (participle past)
well-ordered (past)
well order (alternative)

The set of positive integers is well-ordered by the relation ≤.

1950, Frederick Bagemihl (translator), Erich Kamke, Theory of Sets, 2006, Dover (Dover Phoenix), page 111,
Starting from these special well-ordered subsets, it is then possible to well-order the entire set.

1975 [The Williams & Wilkins Company], Dennis Sentilles, A Bridge to Advanced Mathematics, Dover, 2011, page 182,
To carry the analogy a bit further, the axiom of choice implies the ability to well order any set.

Then #92;le#95;C is a well defined order on C, and (C,#92;le#95;C) belongs to #92;mathcal#123;X#125; (that is, #92;le#95;C well orders C) and is an upper bound for #92;mathcal#123;C#125;.

2006, Charalambos D. Aliprantis, Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker's Guide, 3rd edition, Springer, page 18:

(set theory, order theory, transitive) To impose a well-order on (a set).


produktiivinen

fi-adj

produktiivinen (comparative produktiivisempi, superlative produktiivisin)

produktiivisempi (comparative)
produktiivisin (superlative)
produktiivinen (nominative singular)
produktiiviset (nominative plural)
produktiivinen (accusative nominative singular)
produktiiviset (accusative nominative plural)
produktiivisen (accusative genitive singular)
produktiiviset (accusative genitive plural)
produktiivisen (genitive singular)
produktiivisten (genitive plural)
produktiivisien (genitive plural)
produktiivista (partitive singular)
produktiivisia (partitive plural)
produktiivisessa (inessive singular)
produktiivisissa (inessive plural)
produktiivisesta (elative singular)
produktiivisista (elative plural)
produktiiviseen (illative singular)
produktiivisiin (illative plural)
produktiivisella (adessive singular)
produktiivisilla (adessive plural)
produktiiviselta (ablative singular)
produktiivisilta (ablative plural)
produktiiviselle (allative singular)
produktiivisille (allative plural)
produktiivisena (essive singular)
produktiivisina (essive plural)
produktiiviseksi (singular translative)
produktiivisiksi (plural translative)
produktiivisetta (abessive singular)
produktiivisitta (abessive plural)
produktiivisin (instructive plural)
produktiivisine (comitative plural)
produktiiviseni (nominative singular)
produktiiviseni (nominative plural)
produktiiviseni (accusative nominative singular)
produktiiviseni (accusative nominative plural)
produktiiviseni (accusative genitive singular)
produktiiviseni (accusative genitive plural)
produktiiviseni (genitive singular)
produktiivisteni (genitive plural)
produktiivisieni (genitive plural)
produktiivistani (partitive singular)
produktiivisiani (partitive plural)
produktiivisessani (inessive singular)
produktiivisissani (inessive plural)
produktiivisestani (elative singular)
produktiivisistani (elative plural)
produktiiviseeni (illative singular)
produktiivisiini (illative plural)
produktiivisellani (adessive singular)
produktiivisillani (adessive plural)
produktiiviseltani (ablative singular)
produktiivisiltani (ablative plural)
produktiiviselleni (allative singular)
produktiivisilleni (allative plural)
produktiivisenani (essive singular)
produktiivisinani (essive plural)
produktiivisekseni (singular translative)
produktiivisikseni (plural translative)
produktiivisettani (abessive singular)
produktiivisittani (abessive plural)
produktiivisineni (comitative plural)
produktiivisesi (nominative singular)
produktiivisesi (nominative plural)
produktiivisesi (accusative nominative singular)
produktiivisesi (accusative nominative plural)
produktiivisesi (accusative genitive singular)
produktiivisesi (accusative genitive plural)
produktiivisesi (genitive singular)
produktiivistesi (genitive plural)
produktiivisiesi (genitive plural)
produktiivistasi (partitive singular)
produktiivisiasi (partitive plural)
produktiivisessasi (inessive singular)
produktiivisissasi (inessive plural)
produktiivisestasi (elative singular)
produktiivisistasi (elative plural)
produktiiviseesi (illative singular)
produktiivisiisi (illative plural)
produktiivisellasi (adessive singular)
produktiivisillasi (adessive plural)
produktiiviseltasi (ablative singular)
produktiivisiltasi (ablative plural)
produktiivisellesi (allative singular)
produktiivisillesi (allative plural)
produktiivisenasi (essive singular)
produktiivisinasi (essive plural)
produktiiviseksesi (singular translative)
produktiivisiksesi (plural translative)
produktiivisettasi (abessive singular)
produktiivisittasi (abessive plural)
produktiivisinesi (comitative plural)
produktiivisemme (nominative singular)
produktiivisemme (nominative plural)
produktiivisemme (accusative nominative singular)
produktiivisemme (accusative nominative plural)
produktiivisemme (accusative genitive singular)
produktiivisemme (accusative genitive plural)
produktiivisemme (genitive singular)
produktiivistemme (genitive plural)
produktiivisiemme (genitive plural)
produktiivistamme (partitive singular)
produktiivisiamme (partitive plural)
produktiivisessamme (inessive singular)
produktiivisissamme (inessive plural)
produktiivisestamme (elative singular)
produktiivisistamme (elative plural)
produktiiviseemme (illative singular)
produktiivisiimme (illative plural)
produktiivisellamme (adessive singular)
produktiivisillamme (adessive plural)
produktiiviseltamme (ablative singular)
produktiivisiltamme (ablative plural)
produktiivisellemme (allative singular)
produktiivisillemme (allative plural)
produktiivisenamme (essive singular)
produktiivisinamme (essive plural)
produktiiviseksemme (singular translative)
produktiivisiksemme (plural translative)
produktiivisettamme (abessive singular)
produktiivisittamme (abessive plural)
produktiivisinemme (comitative plural)
produktiivisenne (nominative singular)
produktiivisenne (nominative plural)
produktiivisenne (accusative nominative singular)
produktiivisenne (accusative nominative plural)
produktiivisenne (accusative genitive singular)
produktiivisenne (accusative genitive plural)
produktiivisenne (genitive singular)
produktiivistenne (genitive plural)
produktiivisienne (genitive plural)
produktiivistanne (partitive singular)
produktiivisianne (partitive plural)
produktiivisessanne (inessive singular)
produktiivisissanne (inessive plural)
produktiivisestanne (elative singular)
produktiivisistanne (elative plural)
produktiiviseenne (illative singular)
produktiivisiinne (illative plural)
produktiivisellanne (adessive singular)
produktiivisillanne (adessive plural)
produktiiviseltanne (ablative singular)
produktiivisiltanne (ablative plural)
produktiivisellenne (allative singular)
produktiivisillenne (allative plural)
produktiivisenanne (essive singular)
produktiivisinanne (essive plural)
produktiiviseksenne (singular translative)
produktiivisiksenne (plural translative)
produktiivisettanne (abessive singular)
produktiivisittanne (abessive plural)
produktiivisinenne (comitative plural)
produktiivisensa (nominative singular)
produktiivisensa (nominative plural)
produktiivisensa (accusative nominative singular)
produktiivisensa (accusative nominative plural)
produktiivisensa (accusative genitive singular)
produktiivisensa (accusative genitive plural)
produktiivisensa (genitive singular)
produktiivistensa (genitive plural)
produktiivisiensa (genitive plural)
produktiivistaan (partitive singular)
produktiivistansa (partitive singular)
produktiivisiaan (partitive plural)
produktiivisiansa (partitive plural)
produktiivisessaan (inessive singular)
produktiivisessansa (inessive singular)
produktiivisissaan (inessive plural)
produktiivisissansa (inessive plural)
produktiivisestaan (elative singular)
produktiivisestansa (elative singular)
produktiivisistaan (elative plural)
produktiivisistansa (elative plural)
produktiiviseensa (illative singular)
produktiivisiinsa (illative plural)
produktiivisellaan (adessive singular)
produktiivisellansa (adessive singular)
produktiivisillaan (adessive plural)
produktiivisillansa (adessive plural)
produktiiviseltaan (ablative singular)
produktiiviseltansa (ablative singular)
produktiivisiltaan (ablative plural)
produktiivisiltansa (ablative plural)
produktiiviselleen (allative singular)
produktiivisellensa (allative singular)
produktiivisilleen (allative plural)
produktiivisillensa (allative plural)
produktiivisenaan (essive singular)
produktiivisenansa (essive singular)
produktiivisinaan (essive plural)
produktiivisinansa (essive plural)
produktiivisekseen (singular translative)
produktiiviseksensa (singular translative)
produktiivisikseen (plural translative)
produktiivisiksensa (plural translative)
produktiivisettaan (abessive singular)
produktiivisettansa (abessive singular)
produktiivisittaan (abessive plural)
produktiivisittansa (abessive plural)
produktiivisineen (comitative plural)
produktiivisinensa (comitative plural)

Internationalism (see English productive), ultimately from Late Latin prōductīvus and adapted with the adjectival suffix + -inen.

produktiivinen joukko


klasa

pl-noun

klasa f (related adjective klasowy, abbreviation kl.)

klasowy (adjective)
kl. (abbreviation)
klasa (nominative singular)
klasy (nominative plural)
klasy (genitive singular)
klas (genitive plural)
klasie (dative singular)
klasom (dative plural)
klasę (accusative singular)
klasy (accusative plural)
klasą (instrumental singular)
klasami (instrumental plural)
klasie (locative singular)
klasach (locative plural)
klaso (singular vocative)
klasy (plural vocative)
klassa (alternative Middle Polish)

→ Kashubian: klasa

Internationalism; possibly borrowed from German Klasse or French classe, ultimately from Latin classis. Sense 13 is a semantic loan from English class. First attested in 1688.

ref

Jan Damasceński (1688) Mateusz Ignacy Kuligowski, transl., Krolewic Indiyski w Polski stroy przybrany Albo Historya O Swiętym Jozaphacie … y o Swiętym Barlaamie …/ Od Swiętego Iana Damascena napisana, a z Græckiego ięzyka na Łaciński od Iakuba Billiusza … przetłumaczona; Teraz zaś Przez X. Matthevsza Ignacego Kvligowskiego … na wiersz Polski przełożona … (in Polish), page 199:
Tákże, ktorzy Boginią swą bydź wyznawáią Element Wodę, y ći w głupstwie podlegáią Swym błędowi: bo Wodá od Bogá stworzona Iest ludźiom ná pożytek, y w moc im zlecona, Po ktorey oni wierzchu w rozmáite czásy Wypráwuią okręty, y woienne klássy; Bywa też poszpeconą od nich, bo do wody Ludźie rożne miotáią y gnoie, y smrody; A gdy ią ogień zwárzy, odmiány nábywa; Y częstokroć własnego koloru pozbywa: Bo zmieszána z iáką krwią iest czerwona: z wody Stáią się tákże przez mroz kryształowe lody.

(countable, set theory) class (collection of sets definable by a shared property)


stak

is-noun

stak n (genitive singular staks, nominative plural stök)

staks (genitive singular)
stök (nominative plural)
stak (indefinite nominative singular)
stakið (definite nominative singular)
stök (indefinite nominative plural)
stökin (definite nominative plural)
stak (accusative indefinite singular)
stakið (accusative definite singular)
stök (accusative indefinite plural)
stökin (accusative definite plural)
staki (dative indefinite singular)
stakinu (dative definite singular)
stökum (dative indefinite plural)
stökunum (dative definite plural)
staks (genitive indefinite singular)
staksins (definite genitive singular)
staka (genitive indefinite plural)
stakanna (definite genitive plural)

(set theory) an element, a member; (one of the objects in a set)

efsta stak

greatest element, largest element, maximum element

fyrsta stak

first element, least element, minimum element, smallest element


þrennd

þrennd f (genitive singular þrenndar, nominative plural þrenndir)

þrenndar (genitive singular)
þrenndir (nominative plural)
þrennd (indefinite nominative singular)
þrenndin (definite nominative singular)
þrenndir (indefinite nominative plural)
þrenndirnar (definite nominative plural)
þrennd (accusative indefinite singular)
þrenndina (accusative definite singular)
þrenndir (accusative indefinite plural)
þrenndirnar (accusative definite plural)
þrennd (dative indefinite singular)
þrenndinni (dative definite singular)
þrenndum (dative indefinite plural)
þrenndunum (dative definite plural)
þrenndar (genitive indefinite singular)
þrenndarinnar (definite genitive singular)
þrennda (genitive indefinite plural)
þrenndanna (definite genitive plural)

(set theory) triple, 3-tuple (sequence of three)


topologia

(set theory) topology (in set theory, a distinguished collection of subsets in a topological space)


kartézský součin

kartézský součin (nominative singular)
kartézské součiny (nominative plural)
kartézského součinu (genitive singular)
kartézských součinů (genitive plural)
kartézskému součinu (dative singular)
kartézským součinům (dative plural)
kartézský součin (accusative singular)
kartézské součiny (accusative plural)
kartézský součine (singular vocative)
kartézské součiny (plural vocative)
kartézském součinu (locative singular)
kartézských součinech (locative plural)
kartézským součinem (instrumental singular)
kartézskými součiny (instrumental plural)


From the Ancient Greek capital letter Δ.

symmetric difference
symmetric difference

(set theory) The symmetric difference symbol.


antichain

First of all, Zorn's Lemma implies that every uncountable antichain in T is contained in a maximal uncountable antichain. So it suffices to make sure that T has no maximal uncountable antichains.

1997, Winfried Just, Martin Weese, Discovering Modern Set Theory II: Set-Theoretic Tools for Every Mathematician, American Mathematical Society, page 140:

2013, Vijay K. Garg, Maximal Antichain Lattice Algorithms for Distributed Computations, Proceedings, Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha (editors), Distributed Computing and Networking: 14th International Conference, ICDCN, Springer, LNCS 7730, page 245,
We first define three different but isomorphic lattices: the lattice of maximal antichain ideals, the lattice of maximal antichains and the lattice of strict ideals.

partially ordered set
partially ordered set

(set theory, order theory, graph theory) A subset, A, of a partially ordered set, (P, ≤), such that no two elements of A are comparable with respect to ≤.


ℶ

(2)+ðב₀=א₀, ב_(α+1)=2, and lim ב_λ→ sup ב_α:α<λ for a limit ordinal λ.

(set theory) Symbol for the cardinality of an infinite set in a iterative hierarchy of power sets, starting with ℵ₀. Usually indexed by an ordinal number.


preordered

Most of the theory of this section on linear order spaces (and cones) can be generalized to preordered linear spaces (and wedges).

1980, Johann Schröder, Operator Inequalities, Academic Press, page 8:

It can be proved [see Herden (1989a,c, 1990, 1993a,b) and Herden and Mehta (1997a) that a continuous isotone (or strictly isotone) function defined on a closed subset K of a preordered topological space X has a continuous isotone (or strictly isotone) extension to a function g on X if and only if there is a separable system on X which satisfies certain "separation" conditions.

1998, Ghanshyam B. Mehta, “Chapter 1: Preference and Utility”, in Salvador Barbera, Peter Hammond, Christian Seidl, editors, Handbook of Utility Theory, Volume 1: Principles, Springer, page 30:

We remind the reader that the barycentric subdivision sd(P) of a preordered set P is the poset of chains in P, ordered by inclusion.

1999, Rafael Villarroel-Flores, Equivariant Homotopy Type of Categories and Preordered Sets, University of Minnesota, page 24:

(set theory, order theory, of a set) Equipped with a preorder.


iloczyn

iloczyn (nominative singular)
iloczyny (nominative plural)
iloczynu (genitive singular)
iloczynów (genitive plural)
iloczynowi (dative singular)
iloczynom (dative plural)
iloczyn (accusative singular)
iloczyny (accusative plural)
iloczynem (instrumental singular)
iloczynami (instrumental plural)
iloczynie (locative singular)
iloczynach (locative plural)
iloczynie (singular vocative)
iloczyny (plural vocative)


If a universe U is defined, then the complement of a set A is denoted by the following equivalent notations A^C, A′, ∁A, ∁_UA, or U ∖ A.


{ 4, 1, 5, 3 } ∖ { 3, 1, 9 } = { 4, 5 }


جماعت

ur-noun

جَماعَت • (jamā'at) f (formal plural جَماعات (jamā'āt), Hindi spelling जमात or जमाअत)

جَماعَت (canonical)
jamā'at (romanization)
جَماعات (formal plural)
जमात (Hindi)
जमाअत (Hindi)
جَماعَت (direct singular)
جَماعَتیں (direct plural)
جَماعَت (oblique singular)
جَماعَتوں (oblique plural)
جَماعَت (singular vocative)
جَماعَتو (plural vocative)

/d͡ʒə.mɑːt̪/

Etymology tree
Arabic جَمَاعَة (jamāʕa)bor.
Classical Persian جَمَاعَت (jamā'at)bor.
Urdu جَمَاعَت (jamā'at)
Borrowed from Classical Persian جَمَاعَت (jamā'at), borrowed from Arabic جَمَاعَة (jamāʕa).

etymon

جَمَاعَت


deelverzameling

nl-noun

deelverzameling f (plural deelverzamelingen, diminutive deelverzamelingetje n)

deelverzamelingen (plural)
deelverzamelingetje (diminutive neuter)

Compound of deel (“part”) + verzameling (“collection”).


(set theory) A generic strict order relation.


osajoukko

osajoukko (nominative singular)
osajoukot (nominative plural)
osajoukko (accusative nominative singular)
osajoukot (accusative nominative plural)
osajoukon (accusative genitive singular)
osajoukot (accusative genitive plural)
osajoukon (genitive singular)
osajoukkojen (genitive plural)
osajoukkoa (partitive singular)
osajoukkoja (partitive plural)
osajoukossa (inessive singular)
osajoukoissa (inessive plural)
osajoukosta (elative singular)
osajoukoista (elative plural)
osajoukkoon (illative singular)
osajoukkoihin (illative plural)
osajoukolla (adessive singular)
osajoukoilla (adessive plural)
osajoukolta (ablative singular)
osajoukoilta (ablative plural)
osajoukolle (allative singular)
osajoukoille (allative plural)
osajoukkona (essive singular)
osajoukkoina (essive plural)
osajoukoksi (singular translative)
osajoukoiksi (plural translative)
osajoukotta (abessive singular)
osajoukoitta (abessive plural)
osajoukoin (instructive plural)
See the possessive forms below. (comitative)
osajoukkoni (nominative singular)
osajoukkoni (nominative plural)
osajoukkoni (accusative nominative singular)
osajoukkoni (accusative nominative plural)
osajoukkoni (accusative genitive singular)
osajoukkoni (accusative genitive plural)
osajoukkoni (genitive singular)
osajoukkojeni (genitive plural)
osajoukkoani (partitive singular)
osajoukkojani (partitive plural)
osajoukossani (inessive singular)
osajoukoissani (inessive plural)
osajoukostani (elative singular)
osajoukoistani (elative plural)
osajoukkooni (illative singular)
osajoukkoihini (illative plural)
osajoukollani (adessive singular)
osajoukoillani (adessive plural)
osajoukoltani (ablative singular)
osajoukoiltani (ablative plural)
osajoukolleni (allative singular)
osajoukoilleni (allative plural)
osajoukkonani (essive singular)
osajoukkoinani (essive plural)
osajoukokseni (singular translative)
osajoukoikseni (plural translative)
osajoukottani (abessive singular)
osajoukoittani (abessive plural)
osajoukkoineni (comitative plural)
osajoukkosi (nominative singular)
osajoukkosi (nominative plural)
osajoukkosi (accusative nominative singular)
osajoukkosi (accusative nominative plural)
osajoukkosi (accusative genitive singular)
osajoukkosi (accusative genitive plural)
osajoukkosi (genitive singular)
osajoukkojesi (genitive plural)
osajoukkoasi (partitive singular)
osajoukkojasi (partitive plural)
osajoukossasi (inessive singular)
osajoukoissasi (inessive plural)
osajoukostasi (elative singular)
osajoukoistasi (elative plural)
osajoukkoosi (illative singular)
osajoukkoihisi (illative plural)
osajoukollasi (adessive singular)
osajoukoillasi (adessive plural)
osajoukoltasi (ablative singular)
osajoukoiltasi (ablative plural)
osajoukollesi (allative singular)
osajoukoillesi (allative plural)
osajoukkonasi (essive singular)
osajoukkoinasi (essive plural)
osajoukoksesi (singular translative)
osajoukoiksesi (plural translative)
osajoukottasi (abessive singular)
osajoukoittasi (abessive plural)
osajoukkoinesi (comitative plural)
osajoukkomme (nominative singular)
osajoukkomme (nominative plural)
osajoukkomme (accusative nominative singular)
osajoukkomme (accusative nominative plural)
osajoukkomme (accusative genitive singular)
osajoukkomme (accusative genitive plural)
osajoukkomme (genitive singular)
osajoukkojemme (genitive plural)
osajoukkoamme (partitive singular)
osajoukkojamme (partitive plural)
osajoukossamme (inessive singular)
osajoukoissamme (inessive plural)
osajoukostamme (elative singular)
osajoukoistamme (elative plural)
osajoukkoomme (illative singular)
osajoukkoihimme (illative plural)
osajoukollamme (adessive singular)
osajoukoillamme (adessive plural)
osajoukoltamme (ablative singular)
osajoukoiltamme (ablative plural)
osajoukollemme (allative singular)
osajoukoillemme (allative plural)
osajoukkonamme (essive singular)
osajoukkoinamme (essive plural)
osajoukoksemme (singular translative)
osajoukoiksemme (plural translative)
osajoukottamme (abessive singular)
osajoukoittamme (abessive plural)
osajoukkoinemme (comitative plural)
osajoukkonne (nominative singular)
osajoukkonne (nominative plural)
osajoukkonne (accusative nominative singular)
osajoukkonne (accusative nominative plural)
osajoukkonne (accusative genitive singular)
osajoukkonne (accusative genitive plural)
osajoukkonne (genitive singular)
osajoukkojenne (genitive plural)
osajoukkoanne (partitive singular)
osajoukkojanne (partitive plural)
osajoukossanne (inessive singular)
osajoukoissanne (inessive plural)
osajoukostanne (elative singular)
osajoukoistanne (elative plural)
osajoukkoonne (illative singular)
osajoukkoihinne (illative plural)
osajoukollanne (adessive singular)
osajoukoillanne (adessive plural)
osajoukoltanne (ablative singular)
osajoukoiltanne (ablative plural)
osajoukollenne (allative singular)
osajoukoillenne (allative plural)
osajoukkonanne (essive singular)
osajoukkoinanne (essive plural)
osajoukoksenne (singular translative)
osajoukoiksenne (plural translative)
osajoukottanne (abessive singular)
osajoukoittanne (abessive plural)
osajoukkoinenne (comitative plural)
osajoukkonsa (nominative singular)
osajoukkonsa (nominative plural)
osajoukkonsa (accusative nominative singular)
osajoukkonsa (accusative nominative plural)
osajoukkonsa (accusative genitive singular)
osajoukkonsa (accusative genitive plural)
osajoukkonsa (genitive singular)
osajoukkojensa (genitive plural)
osajoukkoaan (partitive singular)
osajoukkoansa (partitive singular)
osajoukkojaan (partitive plural)
osajoukkojansa (partitive plural)
osajoukossaan (inessive singular)
osajoukossansa (inessive singular)
osajoukoissaan (inessive plural)
osajoukoissansa (inessive plural)
osajoukostaan (elative singular)
osajoukostansa (elative singular)
osajoukoistaan (elative plural)
osajoukoistansa (elative plural)
osajoukkoonsa (illative singular)
osajoukkoihinsa (illative plural)
osajoukollaan (adessive singular)
osajoukollansa (adessive singular)
osajoukoillaan (adessive plural)
osajoukoillansa (adessive plural)
osajoukoltaan (ablative singular)
osajoukoltansa (ablative singular)
osajoukoiltaan (ablative plural)
osajoukoiltansa (ablative plural)
osajoukolleen (allative singular)
osajoukollensa (allative singular)
osajoukoilleen (allative plural)
osajoukoillensa (allative plural)
osajoukkonaan (essive singular)
osajoukkonansa (essive singular)
osajoukkoinaan (essive plural)
osajoukkoinansa (essive plural)
osajoukokseen (singular translative)
osajoukoksensa (singular translative)
osajoukoikseen (plural translative)
osajoukoiksensa (plural translative)
osajoukottaan (abessive singular)
osajoukottansa (abessive singular)
osajoukoittaan (abessive plural)
osajoukoittansa (abessive plural)
osajoukkoineen (comitative plural)
osajoukkoinensa (comitative plural)

[ˈo̞s̠ɑ̝ˌjo̞u̯kːo̞]


Cantorian

en-adj

Cantorian (comparative more Cantorian, superlative most Cantorian)

more Cantorian (comparative)
most Cantorian (superlative)

(set theory, New Foundations) Smaller than its own power set; satisfying Cantor's theorem.


antisymetrický

antisymetricky (adverb)
antisymetrický (masculine nominative singular)
antisymetrická (feminine nominative singular)
antisymetrické (neuter nominative singular)
antisymetrického (genitive masculine singular)
antisymetrické (feminine genitive singular)
antisymetrického (genitive neuter singular)
antisymetrickému (dative masculine singular)
antisymetrické (dative feminine singular)
antisymetrickému (dative neuter singular)
antisymetrického (accusative animate masculine singular)
antisymetrický (accusative inanimate masculine singular)
antisymetrickou (accusative feminine singular)
antisymetrické (accusative neuter singular)
antisymetrickém (locative masculine singular)
antisymetrické (feminine locative singular)
antisymetrickém (locative neuter singular)
antisymetrickým (instrumental masculine singular)
antisymetrickou (feminine instrumental singular)
antisymetrickým (instrumental neuter singular)
antisymetričtí (animate masculine nominative plural)
antisymetrické (feminine nominative)
antisymetrické (inanimate nominative)
antisymetrická (neuter nominative plural)
antisymetrických (genitive plural)
antisymetrickým (dative plural)
antisymetrické (accusative feminine plural)
antisymetrická (accusative neuter plural)
antisymetrických (locative plural)
antisymetrickými (instrumental plural)


surjektio

surjektio (nominative singular)
surjektiot (nominative plural)
surjektio (accusative nominative singular)
surjektiot (accusative nominative plural)
surjektion (accusative genitive singular)
surjektiot (accusative genitive plural)
surjektion (genitive singular)
surjektioiden (genitive plural)
surjektioitten (genitive plural)
surjektiota (partitive singular)
surjektioita (partitive plural)
surjektiossa (inessive singular)
surjektioissa (inessive plural)
surjektiosta (elative singular)
surjektioista (elative plural)
surjektioon (illative singular)
surjektioihin (illative plural)
surjektiolla (adessive singular)
surjektioilla (adessive plural)
surjektiolta (ablative singular)
surjektioilta (ablative plural)
surjektiolle (allative singular)
surjektioille (allative plural)
surjektiona (essive singular)
surjektioina (essive plural)
surjektioksi (singular translative)
surjektioiksi (plural translative)
surjektiotta (abessive singular)
surjektioitta (abessive plural)
surjektioin (instructive plural)
See the possessive forms below. (comitative)
surjektioni (nominative singular)
surjektioni (nominative plural)
surjektioni (accusative nominative singular)
surjektioni (accusative nominative plural)
surjektioni (accusative genitive singular)
surjektioni (accusative genitive plural)
surjektioni (genitive singular)
surjektioideni (genitive plural)
surjektioitteni (genitive plural)
surjektiotani (partitive singular)
surjektioitani (partitive plural)
surjektiossani (inessive singular)
surjektioissani (inessive plural)
surjektiostani (elative singular)
surjektioistani (elative plural)
surjektiooni (illative singular)
surjektioihini (illative plural)
surjektiollani (adessive singular)
surjektioillani (adessive plural)
surjektioltani (ablative singular)
surjektioiltani (ablative plural)
surjektiolleni (allative singular)
surjektioilleni (allative plural)
surjektionani (essive singular)
surjektioinani (essive plural)
surjektiokseni (singular translative)
surjektioikseni (plural translative)
surjektiottani (abessive singular)
surjektioittani (abessive plural)
surjektioineni (comitative plural)
surjektiosi (nominative singular)
surjektiosi (nominative plural)
surjektiosi (accusative nominative singular)
surjektiosi (accusative nominative plural)
surjektiosi (accusative genitive singular)
surjektiosi (accusative genitive plural)
surjektiosi (genitive singular)
surjektioidesi (genitive plural)
surjektioittesi (genitive plural)
surjektiotasi (partitive singular)
surjektioitasi (partitive plural)
surjektiossasi (inessive singular)
surjektioissasi (inessive plural)
surjektiostasi (elative singular)
surjektioistasi (elative plural)
surjektioosi (illative singular)
surjektioihisi (illative plural)
surjektiollasi (adessive singular)
surjektioillasi (adessive plural)
surjektioltasi (ablative singular)
surjektioiltasi (ablative plural)
surjektiollesi (allative singular)
surjektioillesi (allative plural)
surjektionasi (essive singular)
surjektioinasi (essive plural)
surjektioksesi (singular translative)
surjektioiksesi (plural translative)
surjektiottasi (abessive singular)
surjektioittasi (abessive plural)
surjektioinesi (comitative plural)
surjektiomme (nominative singular)
surjektiomme (nominative plural)
surjektiomme (accusative nominative singular)
surjektiomme (accusative nominative plural)
surjektiomme (accusative genitive singular)
surjektiomme (accusative genitive plural)
surjektiomme (genitive singular)
surjektioidemme (genitive plural)
surjektioittemme (genitive plural)
surjektiotamme (partitive singular)
surjektioitamme (partitive plural)
surjektiossamme (inessive singular)
surjektioissamme (inessive plural)
surjektiostamme (elative singular)
surjektioistamme (elative plural)
surjektioomme (illative singular)
surjektioihimme (illative plural)
surjektiollamme (adessive singular)
surjektioillamme (adessive plural)
surjektioltamme (ablative singular)
surjektioiltamme (ablative plural)
surjektiollemme (allative singular)
surjektioillemme (allative plural)
surjektionamme (essive singular)
surjektioinamme (essive plural)
surjektioksemme (singular translative)
surjektioiksemme (plural translative)
surjektiottamme (abessive singular)
surjektioittamme (abessive plural)
surjektioinemme (comitative plural)
surjektionne (nominative singular)
surjektionne (nominative plural)
surjektionne (accusative nominative singular)
surjektionne (accusative nominative plural)
surjektionne (accusative genitive singular)
surjektionne (accusative genitive plural)
surjektionne (genitive singular)
surjektioidenne (genitive plural)
surjektioittenne (genitive plural)
surjektiotanne (partitive singular)
surjektioitanne (partitive plural)
surjektiossanne (inessive singular)
surjektioissanne (inessive plural)
surjektiostanne (elative singular)
surjektioistanne (elative plural)
surjektioonne (illative singular)
surjektioihinne (illative plural)
surjektiollanne (adessive singular)
surjektioillanne (adessive plural)
surjektioltanne (ablative singular)
surjektioiltanne (ablative plural)
surjektiollenne (allative singular)
surjektioillenne (allative plural)
surjektionanne (essive singular)
surjektioinanne (essive plural)
surjektioksenne (singular translative)
surjektioiksenne (plural translative)
surjektiottanne (abessive singular)
surjektioittanne (abessive plural)
surjektioinenne (comitative plural)
surjektionsa (nominative singular)
surjektionsa (nominative plural)
surjektionsa (accusative nominative singular)
surjektionsa (accusative nominative plural)
surjektionsa (accusative genitive singular)
surjektionsa (accusative genitive plural)
surjektionsa (genitive singular)
surjektioidensa (genitive plural)
surjektioittensa (genitive plural)
surjektiotaan (partitive singular)
surjektiotansa (partitive singular)
surjektioitaan (partitive plural)
surjektioitansa (partitive plural)
surjektiossaan (inessive singular)
surjektiossansa (inessive singular)
surjektioissaan (inessive plural)
surjektioissansa (inessive plural)
surjektiostaan (elative singular)
surjektiostansa (elative singular)
surjektioistaan (elative plural)
surjektioistansa (elative plural)
surjektioonsa (illative singular)
surjektioihinsa (illative plural)
surjektiollaan (adessive singular)
surjektiollansa (adessive singular)
surjektioillaan (adessive plural)
surjektioillansa (adessive plural)
surjektioltaan (ablative singular)
surjektioltansa (ablative singular)
surjektioiltaan (ablative plural)
surjektioiltansa (ablative plural)
surjektiolleen (allative singular)
surjektiollensa (allative singular)
surjektioilleen (allative plural)
surjektioillensa (allative plural)
surjektionaan (essive singular)
surjektionansa (essive singular)
surjektioinaan (essive plural)
surjektioinansa (essive plural)
surjektiokseen (singular translative)
surjektioksensa (singular translative)
surjektioikseen (plural translative)
surjektioiksensa (plural translative)
surjektiottaan (abessive singular)
surjektiottansa (abessive singular)
surjektioittaan (abessive plural)
surjektioittansa (abessive plural)
surjektioineen (comitative plural)
surjektioinensa (comitative plural)


aito osajoukko

aito osajoukko (nominative singular)
aidot osajoukot (nominative plural)
aito osajoukko (accusative nominative singular)
aidot osajoukot (accusative nominative plural)
aidon osajoukon (accusative genitive singular)
aidot osajoukot (accusative genitive plural)
aidon osajoukon (genitive singular)
aitojen osajoukkojen (genitive plural)
aitoa osajoukkoa (partitive singular)
aitoja osajoukkoja (partitive plural)
aidossa osajoukossa (inessive singular)
aidoissa osajoukoissa (inessive plural)
aidosta osajoukosta (elative singular)
aidoista osajoukoista (elative plural)
aitoon osajoukkoon (illative singular)
aitoihin osajoukkoihin (illative plural)
aidolla osajoukolla (adessive singular)
aidoilla osajoukoilla (adessive plural)
aidolta osajoukolta (ablative singular)
aidoilta osajoukoilta (ablative plural)
aidolle osajoukolle (allative singular)
aidoille osajoukoille (allative plural)
aitona osajoukkona (essive singular)
aitoina osajoukkoina (essive plural)
aidoksi osajoukoksi (singular translative)
aidoiksi osajoukoiksi (plural translative)
aidotta osajoukotta (abessive singular)
aidoitta osajoukoitta (abessive plural)
aidoin osajoukoin (instructive plural)
See the possessive forms below. (comitative)
aito osajoukkoni (nominative singular)
aidot osajoukkoni (nominative plural)
aito osajoukkoni (accusative nominative singular)
aidot osajoukkoni (accusative nominative plural)
aidon osajoukkoni (accusative genitive singular)
aidot osajoukkoni (accusative genitive plural)
aidon osajoukkoni (genitive singular)
aitojen osajoukkojeni (genitive plural)
aitoa osajoukkoani (partitive singular)
aitoja osajoukkojani (partitive plural)
aidossa osajoukossani (inessive singular)
aidoissa osajoukoissani (inessive plural)
aidosta osajoukostani (elative singular)
aidoista osajoukoistani (elative plural)
aitoon osajoukkooni (illative singular)
aitoihin osajoukkoihini (illative plural)
aidolla osajoukollani (adessive singular)
aidoilla osajoukoillani (adessive plural)
aidolta osajoukoltani (ablative singular)
aidoilta osajoukoiltani (ablative plural)
aidolle osajoukolleni (allative singular)
aidoille osajoukoilleni (allative plural)
aitona osajoukkonani (essive singular)
aitoina osajoukkoinani (essive plural)
aidoksi osajoukokseni (singular translative)
aidoiksi osajoukoikseni (plural translative)
aidotta osajoukottani (abessive singular)
aidoitta osajoukoittani (abessive plural)
aitoine osajoukkoineni (comitative plural)
aito osajoukkosi (nominative singular)
aidot osajoukkosi (nominative plural)
aito osajoukkosi (accusative nominative singular)
aidot osajoukkosi (accusative nominative plural)
aidon osajoukkosi (accusative genitive singular)
aidot osajoukkosi (accusative genitive plural)
aidon osajoukkosi (genitive singular)
aitojen osajoukkojesi (genitive plural)
aitoa osajoukkoasi (partitive singular)
aitoja osajoukkojasi (partitive plural)
aidossa osajoukossasi (inessive singular)
aidoissa osajoukoissasi (inessive plural)
aidosta osajoukostasi (elative singular)
aidoista osajoukoistasi (elative plural)
aitoon osajoukkoosi (illative singular)
aitoihin osajoukkoihisi (illative plural)
aidolla osajoukollasi (adessive singular)
aidoilla osajoukoillasi (adessive plural)
aidolta osajoukoltasi (ablative singular)
aidoilta osajoukoiltasi (ablative plural)
aidolle osajoukollesi (allative singular)
aidoille osajoukoillesi (allative plural)
aitona osajoukkonasi (essive singular)
aitoina osajoukkoinasi (essive plural)
aidoksi osajoukoksesi (singular translative)
aidoiksi osajoukoiksesi (plural translative)
aidotta osajoukottasi (abessive singular)
aidoitta osajoukoittasi (abessive plural)
aitoine osajoukkoinesi (comitative plural)
aito osajoukkomme (nominative singular)
aidot osajoukkomme (nominative plural)
aito osajoukkomme (accusative nominative singular)
aidot osajoukkomme (accusative nominative plural)
aidon osajoukkomme (accusative genitive singular)
aidot osajoukkomme (accusative genitive plural)
aidon osajoukkomme (genitive singular)
aitojen osajoukkojemme (genitive plural)
aitoa osajoukkoamme (partitive singular)
aitoja osajoukkojamme (partitive plural)
aidossa osajoukossamme (inessive singular)
aidoissa osajoukoissamme (inessive plural)
aidosta osajoukostamme (elative singular)
aidoista osajoukoistamme (elative plural)
aitoon osajoukkoomme (illative singular)
aitoihin osajoukkoihimme (illative plural)
aidolla osajoukollamme (adessive singular)
aidoilla osajoukoillamme (adessive plural)
aidolta osajoukoltamme (ablative singular)
aidoilta osajoukoiltamme (ablative plural)
aidolle osajoukollemme (allative singular)
aidoille osajoukoillemme (allative plural)
aitona osajoukkonamme (essive singular)
aitoina osajoukkoinamme (essive plural)
aidoksi osajoukoksemme (singular translative)
aidoiksi osajoukoiksemme (plural translative)
aidotta osajoukottamme (abessive singular)
aidoitta osajoukoittamme (abessive plural)
aitoine osajoukkoinemme (comitative plural)
aito osajoukkonne (nominative singular)
aidot osajoukkonne (nominative plural)
aito osajoukkonne (accusative nominative singular)
aidot osajoukkonne (accusative nominative plural)
aidon osajoukkonne (accusative genitive singular)
aidot osajoukkonne (accusative genitive plural)
aidon osajoukkonne (genitive singular)
aitojen osajoukkojenne (genitive plural)
aitoa osajoukkoanne (partitive singular)
aitoja osajoukkojanne (partitive plural)
aidossa osajoukossanne (inessive singular)
aidoissa osajoukoissanne (inessive plural)
aidosta osajoukostanne (elative singular)
aidoista osajoukoistanne (elative plural)
aitoon osajoukkoonne (illative singular)
aitoihin osajoukkoihinne (illative plural)
aidolla osajoukollanne (adessive singular)
aidoilla osajoukoillanne (adessive plural)
aidolta osajoukoltanne (ablative singular)
aidoilta osajoukoiltanne (ablative plural)
aidolle osajoukollenne (allative singular)
aidoille osajoukoillenne (allative plural)
aitona osajoukkonanne (essive singular)
aitoina osajoukkoinanne (essive plural)
aidoksi osajoukoksenne (singular translative)
aidoiksi osajoukoiksenne (plural translative)
aidotta osajoukottanne (abessive singular)
aidoitta osajoukoittanne (abessive plural)
aitoine osajoukkoinenne (comitative plural)
aito osajoukkonsa (nominative singular)
aidot osajoukkonsa (nominative plural)
aito osajoukkonsa (accusative nominative singular)
aidot osajoukkonsa (accusative nominative plural)
aidon osajoukkonsa (accusative genitive singular)
aidot osajoukkonsa (accusative genitive plural)
aidon osajoukkonsa (genitive singular)
aitojen osajoukkojensa (genitive plural)
aitoa osajoukkoaan (partitive singular)
aitoa osajoukkoansa (partitive singular)
aitoja osajoukkojaan (partitive plural)
aitoja osajoukkojansa (partitive plural)
aidossa osajoukossaan (inessive singular)
aidossa osajoukossansa (inessive singular)
aidoissa osajoukoissaan (inessive plural)
aidoissa osajoukoissansa (inessive plural)
aidosta osajoukostaan (elative singular)
aidosta osajoukostansa (elative singular)
aidoista osajoukoistaan (elative plural)
aidoista osajoukoistansa (elative plural)
aitoon osajoukkoonsa (illative singular)
aitoihin osajoukkoihinsa (illative plural)
aidolla osajoukollaan (adessive singular)
aidolla osajoukollansa (adessive singular)
aidoilla osajoukoillaan (adessive plural)
aidoilla osajoukoillansa (adessive plural)
aidolta osajoukoltaan (ablative singular)
aidolta osajoukoltansa (ablative singular)
aidoilta osajoukoiltaan (ablative plural)
aidoilta osajoukoiltansa (ablative plural)
aidolle osajoukolleen (allative singular)
aidolle osajoukollensa (allative singular)
aidoille osajoukoilleen (allative plural)
aidoille osajoukoillensa (allative plural)
aitona osajoukkonaan (essive singular)
aitona osajoukkonansa (essive singular)
aitoina osajoukkoinaan (essive plural)
aitoina osajoukkoinansa (essive plural)
aidoksi osajoukokseen (singular translative)
aidoksi osajoukoksensa (singular translative)
aidoiksi osajoukoikseen (plural translative)
aidoiksi osajoukoiksensa (plural translative)
aidotta osajoukottaan (abessive singular)
aidotta osajoukottansa (abessive singular)
aidoitta osajoukoittaan (abessive plural)
aidoitta osajoukoittansa (abessive plural)
aitoine osajoukkoineen (comitative plural)
aitoine osajoukkoinensa (comitative plural)


memberless

(set theory) Without members; empty or null.


Cantor-Bendixson theorem

Named after Georg Cantor (1845–1918), a German mathematician who invented set theory, and Ivar Otto Bendixson (1861–1935), a Swedish mathematician.

(set theory) A theorem which (in a simpler formulation) states that a closed uncountable set in Euclidean n-space is equal to the disjoint union of a perfect set and a countable set.

Georg Cantor
Ivar Otto Bendixson
Perfect set property


continuum hypothesis

In other words, it is consistent with the axioms^([of set theory]) to suppose that the continuum hypothesis is false. (It had been known for some time — see below — that it is consistent with the axioms of set theory to suppose that CH is true.)

2002, Steven G. Krantz, Handbook of Logic and Proof Techniques for Computer Science, Springer (Birkhäuser), page 65:

2013, Kenneth Reinhard, Introduction, Susan Spitzer (translator), Alain Badiou, The Incident at Antioch: A Tragedy in Three Acts / L’Incident d’Antioche: Tragédie en trois actes, Columbia University Press, page xxxiii,
After all, when Paul Cohen sent his proof of the undecidability of the continuum hypothesis (which Badiou considers an “event”) to Kurt Gödel in 1963, Gödel wrote back that “reading your proof had a similarly pleasant effect on me as seeing a good play."

In the end, it turned out that Cantor was unable to prove his continuum hypothesis precisely because it is unprovable.

2015, R. Bruce Elder, DADA, Surrealism, and the Cinematic Effect, Wilfrid Laurier University Press, page 582:

(set theory) The hypothesis which states that any infinite subset of ℝ must have the cardinality of either the set of natural numbers or of ℝ itself.

continuümhypothese

hypothesis that there is no cardinality between that of ℤ and that of ℝ


generalized continuum hypothesis

Generalization of the continuum hypothesis.

(set theory) The hypothesis that, for each ordinal α, there is no cardinal number strictly between א_α and 2^(א_α), i.e. 2^(א_α)=א_(α+1).


bijectie

From French; coined by the group known as Nicolas Bourbaki in the treatise Éléments de mathématique.


Burali-Forti paradox

the Burali-Forti paradox (canonical)
Burali-Forti's paradox (alternative)

Named after Cesare Burali-Forti, who in 1897 published a paper proving a theorem which, unknown to him, contradicted a previously proved result by Georg Cantor.

1984, Michael Hallett, Cantorian Set Theory and Limitation of Size, Oxford University Press (Clarendon Press), 1986, Paperback, page 186,
Like them, Mirimanoff concentrates on the Burali-Forti paradox, and like Russell's analysis before, Mirimanoff shows how. in terms of size, the Burali-Forti paradox is basic and that if we solve this the other paradoxes will be solved too.

1994 [Routledge], Ivor Grattan-Guinness (editor), Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences, Volume 1, 2003, Johns Hopkins University Press, Paperback, page 632,
In the first place, Berry rejected Russell's solution to the Burali-Forti paradox, claiming that it was easy to prove that the set of all ordinal numbers was a well-ordered set (and that Cantor had actually done it).

The Burali-Forti paradox was discovered by Cantor in 1895 and Burali-Forti in 1897, but was not regarded by them as a paradox.

2002, Marcus Giaquinto, The Search for Certainty: A Philosophical Account of Foundations of Mathematics, Oxford University Press (Clarendon Press), page 37:

(set theory) The paradox that supposing the existence of a set of all ordinal numbers leads to a contradiction; construed as meaning that it is not a properly defined set.

Burali-Forti paradox
Cesare Burali-Forti
Georg Cantor


NFU

(set theory) Initialism of New Foundations with urelements.


urelement

urelements (plural)
ur-element (alternative)

1996, Scientific Books staff (translators), Yuri L. Ershov, Definability and Computability, Scientific Books, page viii,
The introduction of urelements would seem to be a technical improvement; however, now we know that just such an extension of the notion of the admissible set led to the universal theory of computability based on the notion of definability by formulas with (in a broad sense) effective semantics.

There may be no urelements; as we shall see, we can still build plenty of sets in this case. At stage 0 we can always build the empty set. If there are no urelements, this is the only set we can build. If there is one urelement, a, we can build the sets #92;empty and #92;#123;a#92;#125;. If there are two urelements, a and b, the possible sets are #92;#123;a#92;#125;, #92;#123;b#92;#125;, and #92;#123;a,b#92;#125;; and so on if there are more urelements.
At stage 1, we can build any set containing urelements or sets built at stage 0; that is, any set whose members are already available at the beginning of stage 1. If there are no urelements, we can build #92;empty and #92;#123;#92;empty#92;#125;.

2012, Nicholas J. J. Smith, Logic: The Laws of Truth, Princeton University Press, page 448:

Let #92;mathcal#123;L#125;#92;alpha#95;#92;in be a version of the language of set-theory with urelements in which each occurrence of a quantifier is restricted by some V#95;#92;beta (#92;betalt;#92;alpha).

2013, Agustín Rayo, The Construction of Logical Space, Oxford University Press, page 95:

(set theory) A mathematical object which is not a set but which can be an element of a set.


Russell's paradox

Named after English mathematician, logician and philosopher Bertrand Russell.

named-after

One concludes that there must be something fishy about the Axiom of Comprehension, and, over time, the replacement of the Axiom of Comprehension by the Schema of Separation was seen to resolve Russell's paradox. Indeed, one cannot apply the Schema of Separation as in Russell's paradox unless one knows in advance that the collection of all sets is itself a set.

1999, R. C. Penner, Discrete Mathematics: Proof Techniques and Mathematical Structures, World Scientific, page 109:

The well-known theorem of Tarski that truth of sentences in any reasonably expressive language L cannot be defined in the language L itself is proved by a diagonalization argument similar to the argument involved in Russell's paradox.[…]It is usual to think that Russell's paradox excludes "large" sets like the universe, but this is actually not the case. An alternate solution to Russell's paradox (and other paradoxes) was proposed by Quine (1937) in his system "New Foundations" (NF): comprehension restricted to stratified formulae.

2001, M. Randall Holmes, “Tarski's Theorem and NFU”, in C. Anthony Anderson, Michael Zelëny, editors, Logic, Meaning and Computation: Essays in Memory of Alonzo Church, Springer (Kluwer Academic), page 469:

2013, Greg Frost-Arnold, Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science, Carus Publishing Company (Open Court), page 43,
Roughly, the idea is that Russell's paradox reveals that certain logics suffer serious problems, and therefore these logics should be avoided. […] Here again, Quine asserts that the real lesson of Russell's paradox is that we should give up quantifying over abstracta.

(set theory) The paradox that a set defined to contain all sets which do not contain themselves can neither consistently contain itself nor not contain itself.

Axiom schema of specification
Russell's paradox


Hasse diagram

Named after Helmut Hasse (1898–1979), though he was not the first to use them.

(set theory) A diagram which represents a finite poset, in which nodes are elements of the poset and arrows represent the order relation between elements. Transitivity of the order relation is tacit, in other words, if x<y and y<z then no arrow is drawn from x to z, but if there is no distinct z between x and y (such that x<z<y) then an arrow is draw from x to y.


բազմություն

head

բազմություն • (bazmutʻyun)

hy-noun

բազմություն • (bazmutʻyun)

bazmutʻyun (romanization)
բազմություն (nominative singular)
բազմություններ (nominative plural)
բազմության (dative singular)
բազմությունների (dative plural)
բազմությունից (ablative singular)
բազմություններից (ablative plural)
բազմությամբ (instrumental singular)
բազմություններով (instrumental plural)
բազմությունում (locative singular)
բազմություններում (locative plural)
բազմությունը (definite nominative singular)
բազմությունն (definite nominative singular)
բազմությունները (definite nominative plural)
բազմություններն (definite nominative plural)
բազմությանը (dative definite singular)
բազմությանն (dative definite singular)
բազմություններին (dative definite plural)
բազմությունս (first-person nominative possessive singular)
բազմություններս (first-person nominative plural possessive)
բազմությանս (dative first-person possessive singular)
բազմություններիս (dative first-person plural possessive)
բազմությունիցս (ablative first-person possessive singular)
բազմություններիցս (ablative first-person plural possessive)
բազմությամբս (first-person instrumental possessive singular)
բազմություններովս (first-person instrumental plural possessive)
բազմությունումս (first-person locative possessive singular)
բազմություններումս (first-person locative plural possessive)
բազմությունդ (nominative possessive second-person singular)
բազմություններդ (nominative plural possessive second-person)
բազմությանդ (dative possessive second-person singular)
բազմություններիդ (dative plural possessive second-person)
բազմությունիցդ (ablative possessive second-person singular)
բազմություններիցդ (ablative plural possessive second-person)
բազմությամբդ (instrumental possessive second-person singular)
բազմություններովդ (instrumental plural possessive second-person)
բազմությունումդ (locative possessive second-person singular)
բազմություններումդ (locative plural possessive second-person)

hy-decl-noun

բազմությունը/բազմությունն

բազմություններ

բազմությունները/բազմություններն

բազմությանը/բազմությանն

բազմությունների, բազմությանց**

բազմություններին

բազմությունից

բազմություններից

բազմությամբ, բազմությունով*

բազմություններով

բազմությունում

բազմություններում

բազմությունս

բազմություններս

բազմություններիս, բազմությանցս**

բազմությունիցս

բազմություններիցս

բազմությամբս, բազմությունովս*

բազմություններովս

բազմությունումս

բազմություններումս

բազմությունդ

բազմություններդ

բազմություններիդ, բազմությանցդ**

բազմությունիցդ

բազմություններիցդ

բազմությամբդ, բազմությունովդ*

բազմություններովդ

բազմությունումդ

բազմություններումդ

Hy-բազմություն.ogg

From Old Armenian բազմութիւն (bazmutʻiwn). By surface analysis, բազում (bazum) + -ություն (-utʻyun).

surf

բազմությունների տեսություն


küme

head

küme (definite accusative kümeyi, plural kümeler)

kümeyi (accusative definite)
kümeler (plural)
küme (nominative singular)
kümeler (nominative plural)
kümeyi (accusative definite singular)
kümeleri (accusative definite plural)
kümeye (dative singular)
kümelere (dative plural)
kümede (locative singular)
kümelerde (locative plural)
kümeden (ablative singular)
kümelerden (ablative plural)
kümenin (genitive singular)
kümelerin (genitive plural)
kümem (first-person nominative singular)
kümelerim (first-person nominative singular)
kümen (nominative second-person singular)
kümelerin (nominative second-person singular)
kümesi (nominative singular third-person)
kümeleri (nominative singular third-person)
kümemiz (first-person nominative plural)
kümelerimiz (first-person nominative plural)
kümeniz (nominative plural second-person)
kümeleriniz (nominative plural second-person)
kümeleri (nominative plural third-person)
kümemi (accusative definite first-person singular)
kümelerimi (accusative definite first-person singular)
kümeni (accusative definite second-person singular)
kümelerini (accusative definite second-person singular)
kümesini (accusative definite singular third-person)
kümelerini (accusative definite singular third-person)
kümemizi (accusative definite first-person plural)
kümelerimizi (accusative definite first-person plural)
kümenizi (accusative definite plural second-person)
kümelerinizi (accusative definite plural second-person)
kümelerini (accusative definite plural third-person)
kümeme (dative first-person singular)
kümelerime (dative first-person singular)
kümene (dative second-person singular)
kümelerine (dative second-person singular)
kümesine (dative singular third-person)
kümelerine (dative singular third-person)
kümemize (dative first-person plural)
kümelerimize (dative first-person plural)
kümenize (dative plural second-person)
kümelerinize (dative plural second-person)
kümelerine (dative plural third-person)
kümemde (first-person locative singular)
kümelerimde (first-person locative singular)
kümende (locative second-person singular)
kümelerinde (locative second-person singular)
kümesinde (locative singular third-person)
kümelerinde (locative singular third-person)
kümemizde (first-person locative plural)
kümelerimizde (first-person locative plural)
kümenizde (locative plural second-person)
kümelerinizde (locative plural second-person)
kümelerinde (locative plural third-person)
kümemden (ablative first-person singular)
kümelerimden (ablative first-person singular)
kümenden (ablative second-person singular)
kümelerinden (ablative second-person singular)
kümesinden (ablative singular third-person)
kümelerinden (ablative singular third-person)
kümemizden (ablative first-person plural)
kümelerimizden (ablative first-person plural)
kümenizden (ablative plural second-person)
kümelerinizden (ablative plural second-person)
kümelerinden (ablative plural third-person)
kümemin (first-person genitive singular)
kümelerimin (first-person genitive singular)
kümenin (genitive second-person singular)
kümelerinin (genitive second-person singular)
kümesinin (genitive singular third-person)
kümelerinin (genitive singular third-person)
kümemizin (first-person genitive plural)
kümelerimizin (first-person genitive plural)
kümenizin (genitive plural second-person)
kümelerinizin (genitive plural second-person)
kümelerinin (genitive plural third-person)

From Ottoman Turkish كومه (küme), from Arabic كَوْمَة (kawma).


Tupel

de-noun

Tupel n (strong, genitive Tupels, plural Tupel)

Tupels (genitive)
Tupel (plural)
Tupel (nominative singular)
Tupel (definite nominative plural)
Tupels (genitive singular)
Tupel (definite genitive plural)
Tupel (dative singular)
Tupeln (dative definite plural)
Tupel (accusative singular)
Tupel (accusative definite plural)


disjunkt

de-adj

disjunkt (strong nominative masculine singular disjunkter, not comparable)

disjunkter (masculine nominative singular strong)
disjunkt (masculine predicative singular)
disjunkt (feminine predicative singular)
disjunkt (neuter predicative singular)
disjunkt (plural predicative)
disjunkter (masculine nominative singular strong without-article)
disjunkte (feminine nominative singular strong without-article)
disjunktes (neuter nominative singular strong without-article)
disjunkte (nominative plural strong without-article)
disjunkten (genitive masculine singular strong without-article)
disjunkter (feminine genitive singular strong without-article)
disjunkten (genitive neuter singular strong without-article)
disjunkter (genitive plural strong without-article)
disjunktem (dative masculine singular strong without-article)
disjunkter (dative feminine singular strong without-article)
disjunktem (dative neuter singular strong without-article)
disjunkten (dative plural strong without-article)
disjunkten (accusative masculine singular strong without-article)
disjunkte (accusative feminine singular strong without-article)
disjunktes (accusative neuter singular strong without-article)
disjunkte (accusative plural strong without-article)
der disjunkte (definite includes-article masculine nominative singular weak)
die disjunkte (definite feminine includes-article nominative singular weak)
das disjunkte (definite includes-article neuter nominative singular weak)
die disjunkten (definite includes-article nominative plural weak)
des disjunkten (definite genitive includes-article masculine singular weak)
der disjunkten (definite feminine genitive includes-article singular weak)
des disjunkten (definite genitive includes-article neuter singular weak)
der disjunkten (definite genitive includes-article plural weak)
dem disjunkten (dative definite includes-article masculine singular weak)
der disjunkten (dative definite feminine includes-article singular weak)
dem disjunkten (dative definite includes-article neuter singular weak)
den disjunkten (dative definite includes-article plural weak)
den disjunkten (accusative definite includes-article masculine singular weak)
die disjunkte (accusative definite feminine includes-article singular weak)
das disjunkte (accusative definite includes-article neuter singular weak)
die disjunkten (accusative definite includes-article plural weak)
ein disjunkter (includes-article indefinite masculine mixed nominative singular)
eine disjunkte (feminine includes-article indefinite mixed nominative singular)
ein disjunktes (includes-article indefinite mixed neuter nominative singular)
disjunkten (indefinite mixed nominative plural)
keine disjunkten (includes-article indefinite mixed negative nominative plural)
eines disjunkten (genitive includes-article indefinite masculine mixed singular)
einer disjunkten (feminine genitive includes-article indefinite mixed singular)
eines disjunkten (genitive includes-article indefinite mixed neuter singular)
disjunkten (genitive indefinite mixed plural)
keiner disjunkten (genitive includes-article indefinite mixed negative plural)
einem disjunkten (dative includes-article indefinite masculine mixed singular)
einer disjunkten (dative feminine includes-article indefinite mixed singular)
einem disjunkten (dative includes-article indefinite mixed neuter singular)
disjunkten (dative indefinite mixed plural)
keinen disjunkten (dative includes-article indefinite mixed negative plural)
einen disjunkten (accusative includes-article indefinite masculine mixed singular)
eine disjunkte (accusative feminine includes-article indefinite mixed singular)
ein disjunktes (accusative includes-article indefinite mixed neuter singular)
disjunkten (accusative indefinite mixed plural)
keine disjunkten (accusative includes-article indefinite mixed negative plural)

(mathematics, set theory) disjoint (having no members in common)


pointclass

(mathematics, set theory) A collection of sets of points (ordinarily understood to be elements of some perfect Polish space), characterized by some sort of definability property.


подмножество

podmnožestvo (romanization)
подмножество (nominative singular)
подмножества (nominative plural)
подмножества (genitive singular)
подмножествох (genitive plural)
подмножеству (dative singular)
подмножеством (dative plural)
подмножество (accusative singular)
подмножества (accusative plural)
подмножеством (instrumental singular)
подмножествами (instrumental plural)
подмножестве (locative singular)
подмножествох (locative plural)
подмножество (singular vocative)
подмножества (plural vocative)

rsk-decl-noun-table

подмножество

подмножества

подмножеству

подмножество

подмножеством

подмножестве

подмножество

подмножества

подмножествох

подмножеством

подмножества

подмножествами

подмножествох

подмножества

под мно же ство

From под- (pod-) + множество (množestvo).


подмножество

ru-noun+

подмно́жество

подмно́жество • (podmnóžestvo) n inan (genitive подмно́жества, nominative plural подмно́жества, genitive plural подмно́жеств)

подмно́жество (canonical)
podmnóžestvo (romanization)
подмно́жества (genitive)
подмно́жества (nominative plural)
подмно́жеств (genitive plural)
подмно́жество (nominative singular)
подмно́жества (nominative plural)
подмно́жества (genitive singular)
подмно́жеств (genitive plural)
подмно́жеству (dative singular)
подмно́жествам (dative plural)
подмно́жество (accusative singular)
подмно́жества (accusative plural)
подмно́жеством (instrumental singular)
подмно́жествами (instrumental plural)
подмно́жестве (prepositional singular)
подмно́жествах (plural prepositional)

ru:подмножество


presjek

présjek (canonical masculine)
пре́сјек (Cyrillic)
presjek (nominative singular)
presjeci (nominative plural)
presjeka (genitive singular)
presjeka (genitive plural)
presjeku (dative singular)
presjecima (dative plural)
presjek (accusative singular)
presjeke (accusative plural)
presječe (singular vocative)
presjeci (plural vocative)
presjeku (locative singular)
presjecima (locative plural)
presjekom (instrumental singular)
presjecima (instrumental plural)
prések (alternative Ekavian)


пресјек

пре́сјек (canonical masculine)
présjek (romanization)
пресјек (nominative singular)
пресјеци (nominative plural)
пресјека (genitive singular)
пресјека (genitive plural)
пресјеку (dative singular)
пресјецима (dative plural)
пресјек (accusative singular)
пресјеке (accusative plural)
пресјече (singular vocative)
пресјеци (plural vocative)
пресјеку (locative singular)
пресјецима (locative plural)
пресјеком (instrumental singular)
пресјецима (instrumental plural)
пре́сек (alternative Ekavian)


presek

prések (canonical masculine)
пре́сек (Cyrillic)
presek (nominative singular)
preseci (nominative plural)
preseka (genitive singular)
preseka (genitive plural)
preseku (dative singular)
presecima (dative plural)
presek (accusative singular)
preseke (accusative plural)
preseče (singular vocative)
preseci (plural vocative)
preseku (locative singular)
presecima (locative plural)
presekom (instrumental singular)
presecima (instrumental plural)
présjek (alternative Ijekavian)


пресек

пре́сек (canonical masculine)
prések (romanization)
пресек (nominative singular)
пресеци (nominative plural)
пресека (genitive singular)
пресека (genitive plural)
пресеку (dative singular)
пресецима (dative plural)
пресек (accusative singular)
пресеке (accusative plural)
пресече (singular vocative)
пресеци (plural vocative)
пресеку (locative singular)
пресецима (locative plural)
пресеком (instrumental singular)
пресецима (instrumental plural)
пре́сјек (alternative Ijekavian)


tuteca ordo

eo-head

tuteca ordo (accusative singular tutecan ordon, plural tutecaj ordoj, accusative plural tutecajn ordojn)

tutecan ordon (accusative singular)
tutecaj ordoj (plural)
tutecajn ordojn (accusative plural)


kelas

kêlas (canonical)
kelas-kelas (plural)
klas (alternative)

From Dutch klas (“classroom”) and klasse (“class”), from French classe, from Middle French classe, from Latin classis. Doublet of klasis. Not inherited from Malay kelas, which is from English class.
* Semantic loan from English class for all senses other than “classroom” and “grade”.

(set theory) a collection of sets definable by a shared property


kelas

From English class, from Middle French classe, from Latin classis.

(set theory) a collection of sets definable by a shared property.


antisymmetry

en-noun

antisymmetry (countable and uncountable, plural antisymmetries)

(mathematics, set theory) The condition of being antisymmetric.


`num`

head

# (English symbol name number sign or hash or pound sign or octothorpe)

number sign (English name symbol)
hash (English name symbol)
pound sign (English name symbol)
octothorpe (English name symbol)


transitividade

pt-noun

transitividade f (plural transitividades)

From transitivo (“transitive”) + -idade (“-ity”), from Latin trānsitīvus (“transiting”).

suffix

(set theory) the quality of being transitive


connex

LL-Q1860 (eng)-Flame, not lame-connex.wav

(set theory) Such that, for all x and y in X, and for a binary relation R, either or both of xRy and yRx hold(s).


кортеж

ru-noun+

корте́ж//kortɛ́ž

корте́ж • (kortɛ́ž) m inan (genitive корте́жа, nominative plural корте́жи, genitive plural корте́жей)

корте́ж (canonical)
kortɛ́ž (romanization)
корте́жа (genitive)
корте́жи (nominative plural)
корте́жей (genitive plural)
корте́ж (nominative singular)
корте́жи (nominative plural)
корте́жа (genitive singular)
корте́жей (genitive plural)
корте́жу (dative singular)
корте́жам (dative plural)
корте́ж (accusative singular)
корте́жи (accusative plural)
корте́жем (instrumental singular)
корте́жами (instrumental plural)
корте́же (prepositional singular)
корте́жах (plural prepositional)

Borrowed from French cortège, from Italian corteggio.


кортеж

uk-noun

корте́ж<genu>

корте́ж • (kortéž) m inan (genitive корте́жу, nominative plural корте́жі, genitive plural корте́жів, relational adjective корте́жний)

корте́ж (canonical)
kortéž (romanization)
корте́жу (genitive)
корте́жі (nominative plural)
корте́жів (genitive plural)
корте́жний (adjective relational)
корте́ж (nominative singular)
корте́жі (nominative plural)
корте́жу (genitive singular)
корте́жів (genitive plural)
корте́жеві (dative singular)
корте́жу (dative singular)
корте́жам (dative plural)
корте́ж (accusative singular)
корте́жі (accusative plural)
корте́жем (instrumental singular)
корте́жами (instrumental plural)
корте́жу (locative singular)
корте́жі (locative singular)
корте́жах (locative plural)
корте́же (singular vocative)
корте́жі (plural vocative)

uk-ndecl

корте́ж<genu>


supercompact

en-adj

supercompact (comparative more supercompact, superlative most supercompact)

more supercompact (comparative)
most supercompact (superlative)

LL-Q1860 (eng)-Flame, not lame-supercompact.wav

(mathematics, set theory) Being a type of large cardinal with a variety of reflection properties.


Zorn's lemma

After Max August Zorn 1906-1993, German-born American mathematician. See German Zorn.

(set theory) A proposition of set theory stating that every partially ordered set, in which every chain (i.e. totally ordered subset) has an upper bound, contains at least one maximal element.


real plane

(set theory) The Cartesian product of two real lines.


hợp

Sino-Vietnamese word from 合 (“suitable, consistent”).

vi-etym-sino

Hợp của A và B được viết là "A ∪ B".

The union of A and B can be written as "A ∪ B".

(set theory) a union (the set of all elements in the collection)


結び

From the 連(れん)用(よう)形(けい) (ren'yōkei, “stem or continuative form”) of the verb 結(むす)ぶ (musubu).
First appears in the Man'yōshū of 759 CE.

結びの神

in pop culture, a kami of matchmaking, love and marriage

蝶蝶結び

蝶蝶結 ちょうちょうむす

二重太鼓結び

二重太鼓結 にじゅうだいこむす


bijekcja

pl-noun

bijekcja f (related adjective bijekcyjny)

bijekcyjny (adjective)
bijekcja (nominative singular)
bijekcje (nominative plural)
bijekcji (genitive singular)
bijekcji (genitive plural)
bijekcyj (archaic genitive plural)
bijekcji (dative singular)
bijekcjom (dative plural)
bijekcję (accusative singular)
bijekcje (accusative plural)
bijekcją (instrumental singular)
bijekcjami (instrumental plural)
bijekcji (locative singular)
bijekcjach (locative plural)
bijekcjo (singular vocative)
bijekcje (plural vocative)

(set theory) bijection (one-to-one correspondence, a function which is both a surjection and an injection)


suriekcja

suriekcja f (related adjective suriekcyjny)

suriekcyjny (adjective)
suriekcja (nominative singular)
suriekcje (nominative plural)
suriekcji (genitive singular)
suriekcji (genitive plural)
suriekcyj (archaic genitive plural)
suriekcji (dative singular)
suriekcjom (dative plural)
suriekcję (accusative singular)
suriekcje (accusative plural)
suriekcją (instrumental singular)
suriekcjami (instrumental plural)
suriekcji (locative singular)
suriekcjach (locative plural)
suriekcjo (singular vocative)
suriekcje (plural vocative)

(set theory) alternative spelling of surjekcja


iniekcja

iniekcja f (related adjective iniekcyjny)

iniekcyjny (adjective)
iniekcja (nominative singular)
iniekcje (nominative plural)
iniekcji (genitive singular)
iniekcji (genitive plural)
iniekcyj (archaic genitive plural)
iniekcji (dative singular)
iniekcjom (dative plural)
iniekcję (accusative singular)
iniekcje (accusative plural)
iniekcją (instrumental singular)
iniekcjami (instrumental plural)
iniekcji (locative singular)
iniekcjach (locative plural)
iniekcjo (singular vocative)
iniekcje (plural vocative)

(set theory) injection (relation on sets (X,Y) that associates each element of Y with at most one element of X)


axiom of extensionality

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that two sets are equal if and only if they contain the same elements.


extensionality

en-noun

extensionality (usually uncountable, plural extensionalities)

ekstensjonalność

the principle of distinguishing only by externally observable properties

axiom of extensionality
axiom of extensionality

(mathematics, set theory) The principle, codified in the axiom of extensionality, that sets are equal if and only if they contain the same elements.


parella

Substantivization of the feminine of Late Latin pariculus, diminutive of Latin pār. Compare Spanish pareja.

Cartesian product
Cartesian product#English

(set theory) pair (each of the elements formed by the Cartesian product of two sets)


parella

Substantivization of the feminine of Late Latin pariculus, diminutive of Latin pār. Compare Portuguese parelha, Asturian pareya.

(set theory) pair; each of the elements formed by the Cartesian product of two sets


aleph number

(set theory) Any of a sequence of numbers used to represent the cardinality of infinite sets, denoted by the Hebrew letter aleph.


null sign

(set theory) The sign ∅, associated with empty sets.


podzbiór

podzbiór (nominative singular)
podzbiory (nominative plural)
podzbioru (genitive singular)
podzbiorów (genitive plural)
podzbiorowi (dative singular)
podzbiorom (dative plural)
podzbiór (accusative singular)
podzbiory (accusative plural)
podzbiorem (instrumental singular)
podzbiorami (instrumental plural)
podzbiorze (locative singular)
podzbiorach (locative plural)
podzbiorze (singular vocative)
podzbiory (plural vocative)

(set theory) subset (set whose elements are within another given set)


dopełnienie

dopełnienie (nominative singular)
dopełnienia (nominative plural)
dopełnienia (genitive singular)
dopełnień (genitive plural)
dopełnieniu (dative singular)
dopełnieniom (dative plural)
dopełnienie (accusative singular)
dopełnienia (accusative plural)
dopełnieniem (instrumental singular)
dopełnieniami (instrumental plural)
dopełnieniu (locative singular)
dopełnieniach (locative plural)
dopełnienie (singular vocative)
dopełnienia (plural vocative)

/dɔ.pɛwˈɲɛ.ɲɛ/


Hartogs number

Hartogs numbers (plural)
Hartogs' number (alternative)

After German-Jewish mathematician Friedrich Hartogs (1874–1943).

1973 [North-Holland], Thomas J. Jech, The Axiom of Choice, 2013, Dover, page 160,
Let p be an infinite cardinal, |X|=p and let א=א(p) be the Hartogs number of p.

1995, The Bulletin of Symbolic Logic, Volume 1, Association for Symbolic Logic, page 139,
If the Power Set Axiom is replaced by "א(x) is bound for every x" where
א(x)={a|∃f(f is one-to-one function from a into x)},
then the theory is denoted by ZFH (H stands for Hartogs' Number).

Since the proof of Hartogs' Theorem does not appeal to the Axiom of Choice, the Hartogs number of a set X exists whether or not X has a well-ordering.

2014, Barnaby Sheppard, The Logic of Infinity, Cambridge University Press, page 341:

(set theory) For a given set X, the cardinality of the least ordinal number α such that there is no injection from α into X.


semicreative

a semicreative set

(set theory) A type of set of natural numbers, related to mathematical logic.


phần tử

[fən˨˩ tɨ˧˩]

[fəŋ˦˩ tɨ˧˨]

[fəŋ˨˩ tɨ˨˩˦]

Sino-Vietnamese word from 分子, composed of 分 (“portion”) and 子 (“child; small thing”), from Japanese 分子 (bunshi), from Middle Chinese 分子 (bjunH tsiX, “part; division; component; member”, literally “portion child”).
The tone is slightly irregular, and a regular form would be *phận tử. For the tone difference between phần tử and phân tử, see phần. Doublet of phân tử. Cognate with Mandarin 分子 (fènzǐ) and Cantonese 分子 (fan6 zi2).

der

Commentary of Guliang, circa 206 BCE– 9 CE

燕周之分子也

tập hợp A có 2 phần tử


trichotomous

From trichotomy + -ous. Modelled on dichotomous.

> is a trichotomous relation, while the relation "divides" over the natural numbers is not.

(set theory) Such that, for all x and y in X, and for a binary relation R, exactly one of xRy, yRx or x=y holds.


venndiagram

nl-noun

venndiagram n (plural venndiagrammen, diminutive venndiagrammetje n)

venndiagrammen (plural)
venndiagrammetje (diminutive neuter)

From Venn + diagram: John Venn, the inventor of the diagram.


NBG

(set theory) von Neumann-Bernays-Gödel (axiomatic) set theory


Hintikka set

(set theory) A set with certain openness and completeness properties.


mængde

head

mængde c (singular definite mængden, plural indefinite mængder)

mængden (definite singular)
mængder (indefinite plural)
mængde (indefinite nominative singular)
mængden (definite nominative singular)
mængder (indefinite nominative plural)
mængderne (definite nominative plural)
mængdes (genitive indefinite singular)
mængdens (definite genitive singular)
mængders (genitive indefinite plural)
mængdernes (definite genitive plural)

From mange + -de, either a new formation or inherited from Old Norse *mengd, from Proto-Germanic *managiþō, cognate with Swedish mängd, Dutch menigte, Old English menigdu. Old Icelandic has a different derivation, mengi, from *managį̄, cf. English many (the noun), German Menge and Gothic 𐌼𐌰𐌽𐌰𐌲𐌴𐌹 (managei).


küme parantezi

küme parantezi (definite accusative küme parantezini, plural küme parantezleri)

küme parantezini (accusative definite)
küme parantezleri (plural)
küme parantezi (nominative singular)
küme parantezleri (nominative plural)
küme parantezini (accusative definite singular)
küme parantezlerini (accusative definite plural)
küme parantezine (dative singular)
küme parantezlerine (dative plural)
küme parantezinde (locative singular)
küme parantezlerinde (locative plural)
küme parantezinden (ablative singular)
küme parantezlerinden (ablative plural)
küme parantezinin (genitive singular)
küme parantezlerinin (genitive plural)