Greetings,

I'm not sure how in-depth this community goes into discrete math (also, as far as I know discrete math varies depending on the school and location) but I'm having trouble proving this theorem.

S x T subset S x U /\ S =! 0set implies T subset U

where x is any arbitrary set operator, and /\ is and.

Thanks.. Hope I supplied enough information.