,SET ,NOT,N

  ,RO/] ME?OD ( REPRES5T+ A SET3
  ,A .K .(-1, 0, 1, 2.)

  ,SET BUILD] NOT,N3
  ,B .K  .(X \ X IS AN 9TEG] & X .1 #1.)

  ,! EMPTY SET (TWO V].NS)_3
  .( .)
  _0

  ,SUBSET3
  ,A _"K: ,B (SUBSET) OR
  ,A _"K ,B (PROP] SUBSET)

  ,UNION3
  ,A.+,B

  ,9T]SEC;N3
  ,A.%,B