I've used the following implication (conditional...whatever you want to call it) in a few proofs and was wondering if it's actually is true. I incorporated it into my proofs because it seemed to make obvious sense, but I'm not sure if I'm overlooking something- obvious or subtle.(adsbygoogle = window.adsbygoogle || []).push({});

[tex] T \subseteq S \Rightarrow \exists s' \in S \& \exists s'' \in S \ni [s' \leq t \leq s''], \forall t \in T [/tex].

English: If T is a subset of S, then there exists an s' in S and an s'' in S such that t is greater than or equal to s' and less than or equal to s'', for all t in T.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Subset Condititonal Question

**Physics Forums | Science Articles, Homework Help, Discussion**