# Tagged Questions

19 views

### Relations on set A and conditions of existence of descending chains

I am reading through the Elements of Set theory by Herbert Enderton and even though I have passed this exercise long ago,the more I look at my solution the less I believe it. Problem goes like this: ...
38 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 ...
26 views

### If $R$ is a transitive realation, then $R\circ R\subseteq R$

Here's the question I'm struggling with: Let R be a transitive relation on a set A. Prove the R composed with R is a subset of R. I'm kind of lost on how to prove this. I've started with saying: ...
37 views

### An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$ [duplicate]

An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$. My guess is that such relation does not exist, but I don't know how to prove it.
30 views

### A question on relations

Problem Statement: Let $A$ and $B$ be sets. Many books define a relation $\mathcal R$ from $A$ to $B$ to be a subset $\mathcal R \subseteq A \times B$. Show that such an R is a ...
61 views

### What would make a function reflexive, transitive, and/or symmetric?

A binary relation $R$ is a subset of the Cartesian product between two sets $X$ and $Y$, containing a set of ordered pairs $\{(x,y) : x \in X, y \in Y\}$. $R$ is a function if each element of $X$ is ...
20 views

54 views

23 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 ...
10 views

### For which sets, $X$ the relation is a partial function

Given $T=\left\{\ \left<A,B\right> \in (P(X))^2 | A\subseteq B \right\}$ For which sets, $X$, the relation $(P(X))^2-T \cap (P(X))^2-T^{-1}$ is a partial function? Here's my solution: ...
29 views

### Greatest lower and least upper bounds for a set of pairs

Had some trouble with this question in an exam recently, and wanted to make sure I reasoned correctly. The question was: $X$ is a set of pairs of real numbers $(x,y)$, with absolute values less than ...
31 views

### Reflexive/Symmetric/Antisymmetric/Transitive

I am having issues identifying if the following are reflexive/symmetric/antisymmetric/transitive. Could anybody help me out? I have the book definitions but I'm confused on really the application of ...
28 views

### Prove/disprove questions on equivalence relations and ordered sets

If $R$ is an equivalence relation and a partial order over $A \neq \emptyset$ then every equivalence class contain at least one element. If $(A,\le)$ an ordered set, and $a\in A$ is a single ...
32 views

### AntiSymmetric help

So I understand Symmetric = (a,b) > (b,a) so e.g. A = {(1,2), (2,1) = Symmetric And Anti symmetric = {(1,2), (1,1) = Anti symmetric since the (1,2) is present but no (2,1). But what if we have ...
20 views

### Relations that are closed to union and intersection

Let's define that sets are closed to union if for every relation $R,S$ that have certain traits $R\cup S$ have the same traits as well. Likewise for intersection. Determine if the following ...
28 views

### Let $(A,<_A)$ and $(B,<_B)$ be two partially ordered sets. Show that $(A,<_A)$ is not isomorphic to $(B,<_B)$.

Let $(A,<_A)$ and $(B,<_B)$ be two partially ordered sets, where $A=\{a,b,c\}$ and $<_A=\{(a,b),(a,c)\}$; $B=\{x,y,z\}$ and $<_B=\{(x,y),(y,z),(x,z)\}$. How to show $(A,<_A)$ is not ...
37 views

### state the relations of a set

Consider the following relations: ...
25 views

### Need help with compositions of relations

Prove that given relations $R_1 \subseteq A \times B$, $R_2 \subseteq B \times C$, $R_3 \subseteq C \times D$ then $(R1 \circ R2) \circ R3 = R1 \circ (R2 \circ R3)$ I don't know where exactly to ...
33 views

### List all elements of the relations

The task is to List all elements of the relations (d) S`, S-1 and S ₀T. ...
39 views

### Relations between sets

I have a mutiple choice question on finding the relation but I seem to be blanking. Can someone explain to me how this works? Let $X = \{2,3,4\}$ and $Y = \{0,1,2,3,4\}$. If a relation $P$ ...
121 views

### Exercise in Well Orderings

Prove that if $\prec$ is a well-ordering on a set X and if $Y \subseteq X$, then $\prec_Y=\{(x,y) \mid (x \in Y) \wedge (y \in Y) \wedge (x \prec y)\}$ is a well ordering on Y. I am a little ...
54 views

### Proving a relation is transitive

I am trying to understand transitive relations. I understand given that a set may have $\{(a,b)(b,c)\}$ it must contain $(a,c)$ for it to be transitive. But for longer sets I am getting confused in ...
54 views

### Prove that if the relation (R) is symmetric and antisymmetric on the set X, there exists a Y subset of X such that R is the = relation on Y.

Prove that for any relation R on a set X that is both symmetric and antisymmetric, there is subset Y \subseteq X for which R is the relation = on Y. I will tell you what I know. I know that ...
38 views

### How to show properties of a given relation?

I am given that R is a relation on the given set X, and I have to show if the relation is (i) reflexive, (ii) symmetric, (iii) transitive, (iv) asymmetric, and (v) give an example of an element of ...
47 views

40 views

### Help determining relations on the set {1, 2, 3}

I'm studying for a midterm and I just want to make sure that my understanding of these 2 problems that my teacher gave is logically sound. If you could take a look and give me some feedback I would ...
37 views

### If $A_1$ and $A_2$ are countably infinite, and that $A_1\cap A_2=\phi$. Then prove that $A_1 \cup A_2$ is countably infinite.

If $A_1$ and $A_2$ are countably infinite, and that $A_1\cap A_2=\phi$. Then prove that $A_1 \cup A_2$ is countably infinite. My work: As $A_1$ and $A_2$ are countably infinite, there exists a ...
60 views

### Problems with the definition of transitive relation

Recently I found this problem, which made me realize I have some problems with relations that are vacuously transitive. Problem: Assume that $R$ is a relation on $A$ and define the relation $S$ as ...
27 views

### Union of Cartesian squares

I am trying to find sufficient and necessary conditions for a relation to be representable as a union of Cartesian squares: $\bigcup_{i\in I}(X_i\times X_i)$ for some family $X_i$ of sets. One ...
31 views

### How do you call this feature and property of relation?

If an operator can be defined for $k$ operands, $k \in \mathbb N$, how do you call this feature of the operator? For example, "+" is such an operator. Similarly, for a relation $R$ on a set $X$, $R$ ...
25 views

### Are all relations that are symmetric and anti-symmetric a subset of the reflexive relation?

Simple question, but I can't seem to find a guaranteed answer. A symmetric set contains (a, b) if it contains (b, a), but an ...
The theorem states this: The relation R on a set A is transitive if and only if $R^n \subseteq R$ for n = 1, 2, 3,... What I'm reading is that the nth power of that set is transitive if the set ...