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 or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)