2
$\begingroup$

Sitting in my room with two large jars full of green tea and black coffee, I suddenly realized that I would not be able to drink the coffee first. That is because I only regularly drink out of one of the jars. Yet I also realized that, without a third jar, I would not be able to move all of the contents of jar 1 into jar 2. As such, it seemed like there was something universal about the fact that, given two full jars, the contents of one cannot be poured into the other without the existence of a third jar. I suddenly found myself wanting a mathematical abstraction that could represent this situation. But I have no idea how a set could be called 'full.' I suppose there is some set-theoretic mathematical structure that can have this property though, right?

  • 0
    Sound like Towers of Hanoi. Or variable [swap](http://en.wikipedia.org/wiki/Swap_%28computer_science%29); too bad you can't `xor` your mugs!2011-09-25
  • 0
    Also sounds Pigeonhole principle-ish.2011-09-25
  • 0
    I'm not really sure about set theoretic, more of a combinatorical nature perhaps. In set theory it is the content of the jar that matters; not its name. So without loss of generality just swap the labels and get it over with.2011-09-25
  • 0
    Why is this question down voted? Seems to be a sensible question.2011-09-25
  • 0
    If it were a jar of water and a jar of sugar, you might be able to pour the contents of one into the other...2011-09-25

1 Answers 1