Rosen 7e Exercise-9.6 Question no-27 page no-631

120 views
What is the covering relation of the partial ordering {(A, B) | A ⊆ B} on the power set of S, where S = {a, b, c}?

i’m getting

R={(Ф, {a}), (Ф, {b}), (Ф, {c}), (Ф, {a, b}), (Ф, {b, c}), (Ф, {a, c}), (Ф, {a, b, c}), ({a}, {a, b}), ({a}, {a, c}), ({b}, {b, c}), ({b}, {a, b}), ({c}, {b, c}), ({a}, {a, b}), ({a}, {a, b, c}), ({b}, {a, b, c}), ({c}, {a, b, c}), ({a, b}, {a, b, c}), ({b, c}, {a, b, c}), ({a, c}, {a, b, c}) }

but in Rosen answer gives is

(∅, {a}), (∅, {b}), (∅, {c}), ({a}, {a, b}), ({a}, {a, c}), ({b}, {a, b}), ({b}, {b, c}), ({c}, {a, c}), ({c}, {b, c}), ({a, b}, {a, b, c}), ({a, c}, {a, b, c})({b, c}, {a, b, c})
1
according to definition,
subset B covers subset A when you add only one element to subset A which is not in A.
if you write ( $\phi$, {a, b}) then $\phi \subseteq \{a\} \subseteq \{a, b\}$ or $\phi \subseteq \{b\} \subseteq \{a, b\}$ which is violating the definition of covering relation.
So,  for every pair, add only one element in B which is not in A (or)  make the hasse diagram and then check.
0
can u pls refer the definition of covering relations
I didn't find it in Rosen
1
1
thank u

Related questions

1
97 views
Suppose that $A$ is a nonempty set, and $f$ is a function that has $A$ as its domain. Let $R$ be the relation on $A$ consisting of all ordered pairs $(x, y)$ such that $f (x)=f (y)$ $a)$ Show that $R$ is an equivalence relation on $A$ $b)$ What are the equivalence classes of $R?$
1 vote
Let R be the relation on the set of functions from $Z^+$ to itself such that (f,g) belongs to R iff f is $\Theta(g)$ The equivalence class of f(n)=$n^2$ is set of all functions who are in $\Theta(n^2)$ is it correct?
Consider the equivalence relation R = $\{(x,y) \, | \, x-y \,is\,an\,integer\}$ (b) What is the equivalence class of 1/2 for this equivalence relation?