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.