Reply to Robert,
Hmm... I'd say x.⊆(y) is preferable x.isSubsetOf(y), but it's not a huge deal.
Only until you have to type it. I think universal alpha includes only the union of things that can be easily typed on standard keyboards. I don't think any keyboard (ok maybe an APL keyboard) has the subset symbol on it.
