Scribd
Upload
37 views3 pages

Analysis of Relations and Hasse Diagrams

The document outlines a lab assignment for COMP 2310, focusing on analyzing relations on a set A for properties like reflexivity, symmetry, antisymmetry, and transitivity. It also requires students to identify partial orders and equivalence relations, draw Hasse diagrams, and prove certain relations are equivalence relations. Additionally, there are tasks involving set operations and set-builder notation.

Uploaded by

Museveni Brian
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
37 views3 pages

Analysis of Relations and Hasse Diagrams

The document outlines a lab assignment for COMP 2310, focusing on analyzing relations on a set A for properties like reflexivity, symmetry, antisymmetry, and transitivity. It also requires students to identify partial orders and equivalence relations, draw Hasse diagrams, and prove certain relations are equivalence relations. Additionally, there are tasks involving set operations and set-builder notation.

Uploaded by

Museveni Brian
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

COMP 2310-Lab 4

# Let A
- =
3-5 , -4 , -3 , -2 , -1
,
0, 1 2, 3 , 4
, , 53 ·
(15 points)
at For each of the following relations on A , determine if it is

reflexive , symmetric , antisymmetric transitive


, or ·

(Justify/prove your answer for each item)

b) Which relation is partial order and which one is an equivalence

relation ? (why

c) If a relation is partial order then draw its Hasse diagram


.

R =
<(a b) , : a l by
,

R2 = <(a , b) : a =
b)

R3 =
<(9 , b) : axb1 0)

& Let R be relation such that Ry 3/x-y


-

a on c : .

Prove that R is an
equivalence relation .

Identify the equivalence classes of .


R
18 points)
Find the following items the given Hasse diagram

.
.
3 in .

110 points)
a
O
& O
·

-I
I

3
I
· g
·
·

/
t &

I
/
⑳

·
!&I ·
S

I
&
&·It
⑧
O

⑧ %I
lo ng
O O
·
O
n
i
o
⑧
&
8
o ·

as ub( < m
, kit])

b) (b((cd , th)

4 g(b((u ,
k, mb)

d) lub (5b, -b)

es g(b((p kb) ,

f( g(b (ob(3n , k, j))


* Using
-

set identifies and the fact that X-Y = X +


prove that (A-B) -
(B - C ) = A -
B .

(8 points)

notation provethat
& -

Using set-builder

A (BUCI =
LAMB)U(ANC) 15 points)

You might also like