# Homework Help: Sets: Is A ⊆ B? A={x ∈ ℤ | x ≡ 7 (mod 8)} B={x ∈ ℤ | x ≡ 3 (mod 4)}

1. Mar 2, 2010

### Dustinsfl

A={x ∈ ℤ | x ≡ 7 (mod 8)}
B={x ∈ ℤ | x ≡ 3 (mod 4)}

Is A ⊆ B? Yes

Since x ∈ A, then xa = 7 + 8a = 8a + 7 = 2(4a + 3) +1. And since the ∈ B are of the form xb = 3 + 4b = 4b + 3 = 2(2b + 1) + 1, both ∈ A,B are odd. A ⊆ B since the ∈ of both sets are of 2p + 1. Q.E.D.

Is this correct?

2. Mar 2, 2010

### Mathnerdmo

No. You want to show that every element of A is an element of B. All you showed is that neither contains an even integer.

Try writing 7 + 8a in a form that shows it is in B.

3. Mar 2, 2010

### Dustinsfl

I don't know how to go about doing that.

4. Mar 2, 2010

### Staff: Mentor

What is this character - ℤ ?

7 + 8a = 3 + 4 + 4(2a) = 3 + 4(1 + 2a)

5. Mar 2, 2010

Integers

6. Mar 2, 2010

### VeeEight

So do you see how the conclusion follows? It is pretty straight forward now.

7. Mar 2, 2010

### Dustinsfl

Since x ∈ A, then x = 7 + 8a = 8a + 7 = 4(2a) + 4 + 3 = 4(2a + 1) + 3. And since the ∈ B are of the form x = 3 + 4b = 4b + 3, all x = 4p + 3 and A ⊆ B. Q.E.D.

Correct?
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}