Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- { t < c,... > | ∃ u ∈ U : ... t.c ... u.x ...}
- { < c,... > | ∃ x,... : U(x,...) ∧ ... c ... x ...}.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement