ข้อ 1
จงแสดงว่าข้อความต่อไปนี้เป็นจริง
- ถ้า
เป็นเซต แล้ว 
- ถ้า
=
และทั้งคู่ไม่ใช่เซตว่าง แล้ว 
เฉลย
ข้อ 2
จงพิจารณาว่าความสัมพันธ์บนเซตของจำนวนเต็มบวกต่อไปนี้ มีคุณสมบัติสะท้อน สมมาตร ถ่ายทอด หรือปฏิสมมาตรหรือไม่




เป็นพหุคูณของ 
![{\displaystyle \{(x,y)\ |\ [(x<0)\wedge (y<0)]\vee [(x>0)\wedge (y>0)]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/352a4160b7273716d5ef2adf8ba1f945ea0755f7)


เฉลย
ข้อ 3
จงตอบคำถามต่อไปนี้
- ถ้า R เป็นความสัมพันธ์บนเซตของคนในโลก ซึ่งมีสมาชิกเป็นคู่ลำดับ (a,b) โดยที่ a เป็นบิดาหรือมารดาของ b และให้ S เป็นความสัมพันธ์ที่มีสมาชิกเป็นคู่ลำดับ (a,b) เมื่อ a และ b เป็นพี่น้องกัน แล้ว
และ
มีความหมายว่าอะไร?
- ถ้า R เป็นความสัมพันธ์บนเซต {1, 2, 3, 4, 5} โดย R = {(1, 1), (1, 2), (1, 3), (2, 3), (2, 4), (3, 1), (3, 4), (3, 5), (4, 2), (4, 5), (5, 1), (5, 2), (5, 4)} จงหาค่า
,
,
, และ 
เฉลย
ข้อ 4
ถ้า R เป็นความสัมพันธ์ที่แทนด้วยเมตริกซ์

จงหาเมตริกซ์ที่แทนความสัมพันธ์
,
,
,
, และ
เฉลย
ข้อ 5
จงเขียนกราฟแบบมีทิศทางที่แทนความสัมพันธ์ต่อไปนี้ {(a, a), (a, b), (b, c), (c, b), (c, d), (d, a), (d, b)}
เฉลย
ข้อ 6
ความสัมพันธ์บนเซตของผู้คนใดต่อไปนี้เป็นความสัมพันธ์สมมูลบ้าง? ถ้าความสัมพันธ์ไหนไม่เป็น จงบอกว่ามันขาดคุณสมบัติข้อใด ถ้าความสัมพันธ์ไหนเป็น จงบอกว่า equivalence class ของมันคือเซตอะไร
- { (a, b) | a และ b มีอายุเท่ากัน }
- { (a, b) | a และ b เป็นลูกทางชีวภาพ (biological children) ของผู้ชายคนเดียวกัน }
- { (a, b) | พ่อของ a เป็นพ่อของ b ด้วย }
- { (a, b) | a เคยพบ b }
- { (a, b) | a และ b พูดภาษาเดียวกัน }
เฉลย
ข้อ 7
กำหนดเซต
และกำหนดความสัมพันธ์ R บน A โดยที่
ก็ต่อเมื่อ 
จงแสดงว่า R เป็นความสัมพันธ์สมมูล และอธิบายว่า equivalence class ของ R คืออะไรให้ง่ายที่สุดเท่าที่จะง่ายได้
เฉลย
ข้อ 8
[Rosen 6.5.30] ถ้า
และ
เป็นความสัมพันธ์สมมูลบนเซต A แล้ว
เป็นความสัมพันธ์สมมูลหรือไม่
เป็นความสัมพันธ์สมมูลหรือไม่
เป็นความสัมพันธ์สมมูลหรือไม่
เฉลย
ข้อ 9
[Rosen 1.6.10] จงหาตัวอย่างของฟังก์ชันจาก
Wikimedia Error
Error
Too many requests (f061ab2)
ไปยัง
ที่
- เป็นฟังก์ชันหนึ่งต่อหนึ่งแต่ไม่ทั่วถึง
- เป็นฟังก์ชันทั่วถึงแต่ไม่หนึ่งต่อหนึ่ง
- เป็นทั้งฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง (แต่ไม่ใช้ฟังก์ชันเอกลักษณ์)
- ไม่เป็นทั้งฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึง
เฉลย
ข้อ 10
[Rosen 1.6.15, 1.6.16] ถ้า f เป็นฟังก์ชันจาก A ไปยัง B และ g เป็นฟังก์ชันจาก B ไปยัง C แล้ว
- จงแสดงว่าถ้า f และ g เป็นฟังก์ชันหนึ่งต่อหนึ่ง แล้ว
เป็นฟังก์ชันหนึ่งต่อหนึ่ง
- จงแสดงว่าถ้า f และ g เป็นฟังก์ชันทั่วถึง แล้ว
เป็นฟังก์ชันทั่วถึง
- ถ้า f และ
เป็นฟังก์ชันหนึ่งต่อหนึ่งแล้ว g เป็นฟังก์ชันหนึ่งต่อหนึ่งด้วยหรือไม่?
เฉลย
ข้อ 11
[Rosen 1.6.38] สมมติว่า f เป็นฟังก์ชันผันกลับได้จาก A ไปยัง B และ g เป็นฟังก์ชันผันกลับได้จาก B ไปยัง C แล้ว จงแสดงว่า
Wikimedia Error
Error
Too many requests (f061ab2)
เฉลย
ข้อ 12
กำหนด
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นเซตของเซตทั้งหมด และกำหนดความสัมพันธ์ R บน
Wikimedia Error
Error
Too many requests (f061ab2)
โดยที่
-
Wikimedia Error
Error
Too many requests (f061ab2)
ก็ต่อเมื่อ A มีจำนวนสมาชิกเท่ากับ B
จงแสดงว่า R เป็นความสัมพันธ์สมมูล
เฉลย
ข้อ 13
พิจารณาฟังก์ชันต่อไปนี้ แล้วแสดงว่ามันเป็นฟังก์ชันหนึ่งต่อหนึ่ง และ/หรือ ทั่วถึงหรือไม่
-
Wikimedia Error
Error
Too many requests (f061ab2)
โดยที่
Wikimedia Error
Error
Too many requests (f061ab2)

-
Wikimedia Error
Error
Too many requests (f061ab2)
โดยที่
Wikimedia Error
Error
Too many requests (f061ab2)

เฉลย
ข้อ 14
พิจารณาฟังก์ชันหนึ่งต่อหนึ่งและทั่วถึงต่อไปนี้ แล้วหาฟังก์ชันผันกลับของมัน
-
Wikimedia Error
Error
Too many requests (f061ab2)
โดยที่
Wikimedia Error
Error
Too many requests (f061ab2)

-
Wikimedia Error
Error
Too many requests (f061ab2)
โดยที่

-
Wikimedia Error
Error
Too many requests (f061ab2)
โดยที่
-
Wikimedia Error
Error
Too many requests (f061ab2)

เฉลย
ข้อ 15
จงแสดงว่าเซตต่อไปนี้แต่ละคู่มีสมาชิกเท่ากัน
และ
Wikimedia Error
Error
Too many requests (f061ab2)

และ
Wikimedia Error
Error
Too many requests (f061ab2)

และ
Wikimedia Error
Error
Too many requests (f061ab2)

และ
Wikimedia Error
Error
Too many requests (f061ab2)

เฉลย