> > Could the above also be expressed as "person ^ age ^ 20 ^ years ^
> > weight ^ 180 ^ pounds" where ^ means AND?
>
> Not that I know of. Where does the above indicate the restrict operation
> or the equality comparisons?
The intersection (^) operation fundamentally performs restriction
because the resulting elements must be members of both sets
(operands). Yes, each thing in the expression
"((person)^((age)^(20)^(years))^((weight)^(180)^(pounds)))" is a set,
class, or domain, in addition to being an element, instance or value
at the same time.
Received on Thu Apr 10 2003 - 00:11:58 CDT
