# How to write this in Set Theory notation?

Hello Everyone,

I am trying to write the intersection of a physical problem in the most compact way.
I am not really familiar with Set Theory notation, but I think it has the answer.

It is about the intersection of two circular areas:
- Area 1: A
- Area 2: B
If I want to write this in Set Theory notation:
A_intersection = A ∩ B

Until this point everything is okay. But I have an extra condition
- Extra condition: intersection area always smaller than B (or in other words, the intersection area needs to be contained in B).
A_intersection = min{A ∩ B, B}
(ie. The maximum intersection area can not be larger than B)

How can I write this? Is there any short mathematical symbol for that?

Kind regards,

Daniel

PS: Physically, I am trying to describe a situation as the following one:
' A jet of water of radius R1 impinging against a wall with a hole of radius R2, misaligned from the opening. The water is driven through the intersection area, given that the intersectio area is smaller always that the hole radius R2'
1) For a perfectly aligned jet with the opening:
- If the radius of the jet R1 is smaller than the opening radius R2, all the fluid from the jet goes inside. -> R1
- If the area of the jet R1 is larger than the hole area R2, only the area R2 drives fluids-> R2
2) Then extending this for different misalignments. #### Attachments

Last edited:

PeroK
Homework Helper
Gold Member
2021 Award
Hello Everyone,

I am trying to write the intersection of a physical problem in the most compact way.
I am not really familiar with Set Theory notation, but I think it has the answer.

It is about the intersection of two circular areas:
- Area 1: A
- Area 2: B
If I want to write this in Set Theory notation:
A_intersection = A ∩ B

Until this point everything is okay. But I have an extra condition
- Extra condition: intersection area always smaller than B (or in other words, the intersection area needs to be contained in B).
A_intersection = min{A ∩ B, B}
(ie. The maximum intersection area can not be larger than B)

How can I write this? Is there any short mathematical symbol for that?

The intersection of two sets cannot be larger than either set. We have:

##A \cap B \subseteq A## and ##A \cap B \subseteq B##

This follows because the intersection is only things that are in each set. By definition, therefore, the intersection of two sets is a subset of each set.

• danielFiuza
Stephen Tashi
But I have an extra condition
- Extra condition: intersection area always smaller than B (or in other words, the intersection area needs to be contained in B).
A_intersection = min{A ∩ B, B}

As to containment, it is always true that ##A \cap B \subseteq B##, so you don't need to state this as an additional condition.

If you want to require that ##A \cap B ## be a proper subset of ##B##, it's safest to write this as ##A \subsetneqq B##. (Some people interpret ""##\subset##"" to mean the same things as "##\subseteq##", others interpret it to mean "##\subsetneqq##" ).

Thanks Stephen. Just to be clear, is ##A \cap B = B \cap A ##? The intersection of two sets cannot be larger than either set. We have:

##A \cap B \subseteq A## and ##A \cap B \subseteq B##

This follows because the intersection is only things that are in each set. By definition, therefore, the intersection of two sets is a subset of each set.

#### Attachments

PeroK
Homework Helper
Gold Member
2021 Award
Thanks Stephen. Just to be clear, is ##A \cap B = B \cap A ##?

If you imagine drawing your sets on a Venn diagram, where ##A \cap B## is the area of overlap between ##A## and ##B##; and, ##B \cap A## is the area of overlap between ##B## and ##A##; then, would you say these represent the same area?

Last edited:
Ray Vickson
Homework Helper
Dearly Missed
Thanks Stephen. Just to be clear, is ##A \cap B = B \cap A ##?
View attachment 232588

Is the set of males over 20 years of age the same as the set of people over 20 years of age who are male?

If you imagine drawing your sets on a Venn diagram, where ##A \cap B## is the area of overlap between ##A## and ##B##; and, ##B \cap A## is the area of overlap between ##B## and ##A##; then, would you say these represent the same area?

Yes, they represent the same area.
I am still confused when the one of the areas is completely contained inside the other (see first column of the diagram attached in the thread). Eg. A belongs to/is contained in B or area B belong to A. Does that still holds? That's were my confusion arises with the notation of ##\cap##.

Thanks again,

PeroK