less

From the SETL Wiki

less
Category	set
Syntax	infix
Compatibility
CIMS SETL	yes
SETL-S	yes
SETL2	yes
GNU SETL	yes

Contents 1 Purpose 2 Synopsis 3 Description 4 Examples

Purpose

Remove an element from a set

Synopsis

 s less x

Description

Returns a copy of the set s with the element x removed (if it was present.)

s less x is roughly equivalent to s - {x}.
(Not exactly equivalent. In most implementations, if x is om then s - {x} is valid but s less x is not. In SETL-S the converse is true. See differences between SETL implementations.)

Examples

1. {1, 2, 3} less 2
   

   Result: {1, 3}

2. {1, 2, 3} less 4
   

   Result: {1, 2, 3}