Prove:
(1) R isTotalOnA ⇔ (∀x : A • ∃ y : Y • (x , y) ϵ R)
(2) R ; (S ∩ T) ⊆ (R ; S) ∩ (R ; T)
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