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. 

Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer