Let A be a nonempty set. Let ~ be a relation on ℘(A)defined by: Letting B and C be arbitrary subsets of A, B~C iff B⊆C. What kind of order is ~ (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.7: Relations
Problem 11E: Let be a relation defined on the set of all integers by if and only if sum of and is odd. Decide...
icon
Related questions
Question
  1. Let A be a nonempty set. Let  ~ be a relation on ℘(A)defined by:
    Letting B and C be arbitrary subsets of A, B~C iff B⊆C. 

What kind of order is ~ (if any)? Prove the properties that hold, and construct counterexamples for the properties that don't. Prove for irreflexive, and Connex as well.

Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 6 steps

Blurred answer
Similar questions
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,