Tests whether the given set contains this value as an element
Tests whether the given set contains this value as an element
Tests whether the given sequence contains this value as an element
Tests whether the given sequence contains this value as an element
Tests whether the given set does NOT contains this value as an element
Tests whether the given set does NOT contains this value as an element
Tests whether the given sequence does NOT contains this value as an element
Tests whether the given sequence does NOT contains this value as an element
Proves that the first type is NOT a component of the tuple given as the second type