Thread: Prove the following

Prove:

(1) R isTotalOnA ⇔ (∀x : A • ∃ y : Y • (x , y) ϵ R)

(2) R ; (S ∩ T) ⊆ (R ; S) ∩ (R ; T)

Originally Posted by rnuravvk

Prove:
(1) R isTotalOnA ⇔ (∀x : A • ∃ y : Y • (x , y) ϵ R)

WHAT?
What does #1 & #2 say? I have no idea what those symbols mean.
Please define the terms.

The symbol " ; " is the symbol for composition

Originally Posted by rnuravvk

The symbol " ; " is the symbol for composition

Not good enough.
Define all the terms.
What is "TotalonA"?
What does mean?
These happen to be nonstandard symbols.

EDIT:
Why not learn to post in symbols? You can use LaTeX tags
[tex]\left( {\exists x} \right)[/tex] gives is exists
[tex]\left( {\forall x} \right)[/tex] gives is for all
[tex] \cup [/tex] gives is union
[tex] \cap [/tex] gives is intersection
[tex] \subseteq [/tex] gives is subset
[tex] \cup [/tex] gives is union
[tex] \in [/tex] gives is element
[tex] \emptyset [/tex] gives is emptyset
[tex] \wedge [/tex] gives is or
[tex] \vee [/tex] gives is and
[tex] \sqrt{x+1} [/tex] gives