next | previous | forward | backward | up | top | index | toc | home

Set #? Thing -- test set membership

Synopsis

Description

This is identical to member(e,x).
i1 : x = set{1,2,3}

o1 = set {1, 2, 3}

o1 : Set
i2 : x#?2

o2 = true
i3 : member(2,x)

o3 = true

See also