0
votes
0answers
11 views

Term of partially ordered set with “levels”

Suppose that we have a partially ordered set $(X,\leq)$ such that the following condition holds: There exists a disjoint partition $X = \bigcup_{ i \in \mathbb N_0 } X_i$ such that for $i < j$ we ...
6
votes
0answers
55 views

Name of a certain set

I want to know if there is any already-standard way to refer to the set described as follows. Take the set of all primes in $\mathbb{Z}$, call it $\mathbb{P}$. Take the set of all finite products of ...
0
votes
0answers
19 views

Order on the set of partitions (terminology)

Let $S$ and $T$ be partitions of some set $U$. What is the name for the partition $\{ X\cap Y \mid X\in S, Y\in T, X\cap Y\ne\emptyset \}$? Should it be called the infimum of $S$ and $T$? meet of ...
-1
votes
5answers
94 views

Why the term “countable”?

In my computer science theory class, we are discussing the concept of countability. I understand the concept, but the choice to use the word countability seems absolutely unintuitive to me. Why was ...
0
votes
1answer
31 views

Maximum/Maximal set

Maximum or maximal set with property $P$ When I was reading some textbooks, I noticed that I do not get the meaning of the following two phrases. ($P1$) $\quad$ maximum set with property $P$ ($P2$) ...
2
votes
1answer
39 views

Is algebra over a set also algebra over a field?

During my studies I have come across two different notions of the term "algebra", namely algebra over a set and algebra over a field (the field its vector space always being Euclidean space in my ...
0
votes
0answers
32 views

Terms for particular equivalence relation and partition?

Let $T$ be a set of sets. Let $\equiv$ be an equivalence relation on $\bigcup T$ defined by the formula $$a\equiv b \Leftrightarrow \forall X\in T:(a\in X\Leftrightarrow b\in X).$$ Let $S$ be a ...
0
votes
0answers
16 views

Term for “interval with a step size”

I'm looking for a term for "interval with a step size". Let's write such an "interval" as an interval-like tuple $I=[from, step, to]$. Then $I$ is defined as $I=\{x|x=from+n \cdot step, n \in ...
18
votes
4answers
3k views

Why is an image called an “image”?

Given a function $f : A \to B$, the image, denoted by $\operatorname{Im}f$ is the set of all $f(x)$ where $x \in A$. Why do we call this set the image? When was it first used, and what motivated its ...
0
votes
0answers
51 views

Has this partition a name?

The decomposition in disjoint cycles in $S_n$ was inspiring for this question. I found out (if I did nothing wrong) that more generally a bijection $f:X\rightarrow X$ induces a partition of $X$ ...
0
votes
1answer
39 views

What is the name of this property of relation?

What is the name of property of a binary relation $R$ that states that $\lnot(a\mathrel{R} b) \iff \lnot(b \mathrel{R} a)$ for all $a, b$?
0
votes
1answer
31 views

Is there a name for sum over one set divided by the cardinality of another set?

What is the summation of one set real numbers divided by the cardinality of another set called? $$A \subset\mathbb R$$ $$\frac{\sum A}{|B|}$$ I will try and be specific to my problem because I lack ...
1
vote
1answer
27 views

What does it mean for a function to be uniquely determined by another function?

In munkres topology, I went through an exercise which asks me to show that a function is uniquely determined by another function. I wonder, What does this mean? I googled it but No answer! Here is ...
0
votes
0answers
37 views

What does “single set” mean in this context?

I encountered this problem in Munkres topology. Let $X_1 , X_2$ denote a single set in topologies $\tau_1$ and $\tau_2$, respectively; let $Y_1 , Y_2$ denote a single set in the topologies $U_1, ...
0
votes
0answers
24 views

Is there accepted notation and/or terminology for the smallest cover of $S$ with cells from $P$?

Let $X$ denote a set. Then for $S \subseteq X$ and $P$ a partitioning of $X$, define $P \diamond S$ as the smallest cover of $S$ with cells from $P$. Explicitly: $$P \diamond S = \bigcup\{Q \in P ...
2
votes
1answer
42 views

Terminology on pullbacks

I'm quite confused with the use of pullbacks, and in particular I wonder which terminology I shall use in the following examples. Let $X$ and $Y$ be arbitrary sets. Suppose that $f,g:X\to Y$ and I ...
0
votes
1answer
47 views

Why we use ANY in the definition of a maximal element?

I am confused about the following definition: "a maximal element of a subset S of some partially ordered set is an element of S that is not smaller than any other element in S." I do not understand ...
3
votes
1answer
78 views

What is a 'disjunct' of a union called?

Say I have a set $C = A \cup B$ and I want to refer to $A$ in natural language. Had the expression been a Boolean formula with a disjunction, then I would call $A$ the first disjunct. Is there a ...
1
vote
1answer
57 views

Axiom of extension

I am learning Set Theory from the book Naive Set Theory by Halmos as part of my course. The first chapter is on the Axiom of Extension. I understand what it is but what I don't understand is why it ...
1
vote
1answer
26 views

Name for a generalized relation to be a multiset?

A relation between two sets $A$ and $B$ is a subset of $A \times B$. If taking a multiset subset of $A \times B$, e.g. allowing $(a,b)$ appears twice in the subset, is there a name for such a ...
1
vote
0answers
19 views

Is there a name for the corresponding notion of inductive subset in the context of well-ordered sets?

This is a question of terminology. I can't avoid being a little verbose before getting to it. The principle of mathematical induction states that, for any subset $e$ of $\omega$ (the set of natural ...
5
votes
1answer
356 views

Term for: There Exists a Rational between every two Rationals?

The integers and the rationals have the same cardinality, but the rationals satisfy the property that: $$ \forall p,q\in\mathbb{Q},\quad \exists r\in\mathbb{Q}\quad \textrm{s.t.}\quad p<r<q, $$ ...
4
votes
2answers
101 views

Mathematical concept for formal languages

A formal language is defined as a subset of finite-length strings over an alphabet. It is similar to the mathematical concept "relation", but the lengths of its strings are not fixed. Since the name ...
0
votes
0answers
18 views

How to write the condition for Image of a function?

If $\Omega_l$ is $\Omega$ with $|x|<l$ and if $\Omega_S$ is the image of $z$ under mapping how we will write the condition for it. Am I right if I write $\Omega_S$ is $\Omega$ with $|S|<l$ or ...
0
votes
2answers
60 views

$\mathcal N (A):=\mathcal P(A)\setminus\{\varnothing\}$ notation

Define $\mathcal N$ $\mathcal N (A):=\mathcal P(A)\setminus\{\varnothing\}$ Does $\mathcal N$ has a special name and standard notation?
0
votes
0answers
62 views

The symbol $\mathcal P(\alpha)$ where $\alpha$ is a cardinal

$X$ is a set. There's a term: ‌$~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~$ the power set $\mathcal P(2^{|X|})$ in an article. What does it mean? It seems $2^{|X|}$ is the power ...
0
votes
1answer
11 views

An indexed family of filters and their elements

Let $X$ is an indexed (by some set $n$) family of filters (on some poset $\mathfrak{A}$). Is there any standard notation/terminology for the set $\{ y\in \mathfrak{A}^n \,|\, \forall i\in n:y_i\in ...
1
vote
0answers
30 views

Name of the “left” set on which a partial function $f\colon \mathbb N \times \mathbb N \to\mathbb N$ is defined

Given a partial function $f \colon \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ Does the set: $$A = \{ x \in \mathbb{N} \mid \exists y \in \mathbb{N} \text{ such that } f(x,y) \text { is ...
0
votes
4answers
95 views

How is the word “contains” defined in set theory? (In relation with neighborhoods in topology).

From Wiki: Some basic sets of central importance are the empty set (the unique set containing no elements) Thus, this make me think that "contained" is equivalent to the $\in$, as in: if $a$ is ...
3
votes
2answers
64 views

Should “together with” be taken as slang for an n-tuple?

When an algebraic structure is defined, it is often defined as a set $S$ "along with"/"together with"/"having" operations $\circ_1, \circ_2, \ldots, \circ_n$, and "denoted" by $(S, \circ_1, \circ_2, ...
2
votes
5answers
127 views

Question about definition of binary relation

Wikipedia says: Set Theory begins with a fundamental binary relation between and object $o$ and a set $A$. If $o$ is a member of $A$, write $o \in A $. I thought that a binary relation is a ...
2
votes
1answer
82 views

What if union of disjoint sets results in universal set?

I have a question related to set theory. If $A_1,A_2,A_3\dots, A_n$ belongs to universal set $U$, and if all of the sets are disjoint i.e. $A_i \cap A_j = \emptyset$ for all $i$ and $j$. And If ...
1
vote
2answers
111 views

Initial Segments and Initial Sections of Posets

For a set A with a partially ordering <=, define the following 1) A subset s(x) of A = {y in A such that y <=x} 2) A subset S of A with the property that for every x in S then all y in A ...
2
votes
2answers
71 views

Correspondence as a graph of a multifunction

Suppose I'd like to say that a projection of $R\subset X\times Y$ on $X$ is the whole $X$. That is, $R$ is a graph of a certain multifunction, or equivalently it is a left-total relation. I do ...
0
votes
0answers
68 views

Identity relation of many variables

The identity relation on a set $A$ is $\operatorname{id}_A = \{(x;x) \,|\, x\in A\}$. This can be generalized for any (possibly infinite) index set $N$ as $\{(\lambda i\in N: x) \,|\, x\in A\}$ (here ...
0
votes
1answer
32 views

Partial order up to equivalence

In certain contexts one runs into something like a partial order, but the antisymmetry property is weakened as follows: if $x \preceq y$ and $y \preceq x$ then $x \simeq y$, where $\simeq$ is a given ...
2
votes
1answer
1k views

into function vs injective function

In many mathematical books that I have read and from lectures from professors, the words 'into' and 'injective' were used interchangeably, but in Patrick Suppes book Axiomatic Set Theory he gives a ...
1
vote
2answers
66 views

Basic Cartesian prodcuts

I am having some issues grasping basic ideas of Cartesian products. I am reading a PDF my professor gave us explain sets/Cartesian products. If $\mathbb{R}\times \mathbb{R}$ can be written as ...
2
votes
1answer
168 views

The Empty Relation?

In elementary set theory, a relation on sets $A,B$ is usually defined as a subset of $A\times B$. We know that there are $2^{|A\times B|}$ subsets of $|A\times B|$. One of these subsets is the empty ...
1
vote
2answers
126 views

What is the name of this set?

What is the standard name for the set of all n-ary functions, where n is a natural number,of some set S, say the reals or the complexes? We have the notation S^S, but that is only the set of 1-ary ...
-1
votes
2answers
35 views

What is a set of overlapping sets?

If I have a set $X$ and a set $Y$ and $\forall y \in Y : y \subseteq X \land \exists y_1, y_2 \in Y : y_1 \ne y_2 \land y_1 \cap y_2 \ne \{\}$, what is the relationship between $X$ and $Y$ called?
0
votes
4answers
51 views

Name of a set of the form {x,y}

I know that a doubleton is a set with exactly two elements, but what is the name of a set with either exactly 1 element or exactly 2 elements? In other words, what is the name of a set of the form ...
3
votes
1answer
102 views

Given a subcollection of a powerset, do these “separation” relations have names?

Let $X$ denote a set and $\mathcal{F}$ denote a subcollection of $\mathcal{P}(X).$ Do the following relations on $\mathcal{P}(X)$ have a name? For $A,B \subseteq X$, call $A$ partially separated from ...
2
votes
1answer
66 views

Is this “set quotient” known?

Let $A,B$ be subsets of a set $X$. Then there is a largest subset $C \subseteq X$ such that $C \cap A \subseteq B$. Explicitly, we have $C = \{x \in X : x \in A \Rightarrow x \in B\} = (X \setminus A) ...
0
votes
0answers
42 views

Embedding vs restriction

Embedding is the morphism $( A ; B ; \operatorname{id}_A)$ of the category $\mathbf{Rel}$ for sets $A \subseteq B$. I call restriction the morphism $( A ; B ; \operatorname{id}_B)$ for sets $A ...
1
vote
5answers
252 views

Reflexivity: How can something be related to itself?

Background: I'm a philosophy student. I'm comfortable with math, but don't have much of a background in it. One of the topics I'm writing about (I-relation in theories of identity) closely mirrors ...
2
votes
1answer
56 views

“Set” vs “collection” terminology: what is the difference?

Can someone tell me what is the difference in saying $A$ is a set of even numbers and $X$ is a collection of even numbers ?
7
votes
0answers
100 views

Analogue of the term 'summand' for unions and intersections.

If we have a sum $\sum\limits_{i=1}^na_i$, we call the terms $a_i$ summands. In fact, in the cases of addition, subtraction, multiplication, and division, we have a large vocabulary to describe the ...
1
vote
2answers
107 views

“Collection”: What does it mean?

I've seen a lot of question of same ilk as the request I'm about to pose, but what I'd like to know is what does "any collection" mean in the following request: Prove that the intersection of any ...
5
votes
0answers
104 views

The counted is to the countable as the ??? is to the (order)-isomorphic.

We sometimes need to distinguish the counted from the countable. A counted set is a set equipped with a particular bijection into (some of) the natural numbers; a set is countable if there exists such ...