<Множество1> не должно быть пустым.

SELECT make, count(*) 
  FROM Auto 
 WHERE (color) IN ('BLACK','BLUE','GREEN') 
 GROUP BY make;

SELECT make, count(*) 
  FROM Auto
 WHERE (make, color) IN (values('FORD','GREEN')) 
 GROUP BY make;

|FORD                |          5|

create or replace table tst (search_make char(20),search_color char(10));
insert into tst (search_make, search_color) values ('FORD', 'RED');

select * from auto where (make,color) in (table tst);

Если <множество1> состоит только из одного <значимого выражения>, ограничивающие его круглые скобки не обязательны.

select model from auto where color in ('BLACK', 'WHITE') and cylnders in (6,8,12);

<Множество2> может быть пустым.

SELECT  count(*) FROM Auto WHERE (color) not IN ();
|            1000|

Типы данных элементов <множества1> и <множества2> должны быть совместимы.

SELECT Name FROM Person WHERE PersonID IN (SELECT PersonID FROM Auto);

Если <множество1> содержит только один элемент, то количество элементов <множества 2> может быть произвольным.

Если <множество2> не пусто, то <подзапрос сравнения> должен возвращать одну запись выборки данных, при этом количество столбцов записи выборки данных этого подзапроса должно совпадать с количеством элементов <множества 2>.

select count(*) 
  from auto 
 where (select $$$S31 
          from $$$USR
         where $$$s34 like 'SYS_') in (select $$$S31 from $$$USR);
|      0|

Недопустимый запрос:

SELECT make, count(*) 
  FROM Auto
WHERE (color) IN (values('RED','GREEN')) GROUP BY make;

Тип данных <множества1> должен соответствовать типам данных <множества2>. Сравнение одного NULL-значения с другим NULL-значением выдает FALSE, поэтому такие записи в выборку данных не попадают.

select count(*) from auto where (make, year) in ( 'FORD', 70);
create table tab1(i int autoinc, c char(10), dt date);
insert into tab1 (c, dt) values( 'abcdef', '01.01.2003');
insert into tab1 (c, dt) values( 'bcdefa', '02.01.2003');
insert into tab1 (c, dt) values( 'bcdefab', null);

select * 
  from tab1;
|1|abcdef|01.01.2003:00:00:00.00|
|2|bcdefa|02.01.2003:00:00:00.00|
|3|cdefab|NULL                  |

select * 
  from tab1 
 where (i,c, dt) in (select i,c, dt from tab1 where c like'_cde%');
|2 |bcdefa |02.01.2003:00:00:00.00 |
(записи с NULL-значениями в выборку данных не включаются)

select * 
  from tab1
 where (i,c, dt) in (select i,c, dt from tab1);
|1|abcdef |01.01.2003:00:00:00.00 |
|2|bcdefab|02.01.2003:00:00:00.00 |

<Подзапрос вхождения> может возвращать любое число записей выборки данных, при этом количество столбцов записи выборки данных этого подзапроса должно совпадать с количеством элементов <множества1>.

select count(*) 
  from auto
 where (1, 2, personid) in (select 1, 2, 7
                             union 
                            select 1, 2, 240
                             union
                            select 1, 2, 500);
|                3|

SELECT make, count(*) 
  FROM Auto
 WHERE (color) IN (values('RED'),('GREEN')) 
 GROUP BY make;

<Список вхождения> может содержать одновременно <спецификацию значения> и <значимое выражение>.

select personid, depndnts 
  from person 
 where cast personid as real in (9e0, cast (depndnts+2) as real - 1e0)
   and personid < 11;
|2|         1|
|9|         2|

Пусть <множество1>={x1}, <множество2>={y1,y2,…yn}. Значение предиката равно TRUE в том и только в том случае, когда x1 равно одному из значений {y1,y2,…yn}, т.е. (x1=yi).

Пусть <множество1>={x1,x2, ...xn}, <множество2>={y1,y2,…yn}. Значение предиката равно TRUE, когда:

Если единственный элемент <множества1> не совпадает с каким-либо элементом <множества2> (x1 не равен yi), значение предиката равно FALSE (пересечение множеств пусто).

Если группа элементов <множества1> не совпадает с группой элементов <множества2>, т.е. один или несколько xi не равны соответствующим yi, значение предиката равно FALSE (пересечение множеств пусто).

Если <множество2> пусто, значение предиката всегда равно FALSE.

select count(*) from auto where model in();
|            0|

select count(*) from auto where model not in();
|            1000|

<Запрос вхождения> фактически выполняется отдельно для каждого значения-кандидата основного запроса, и значения, которые он сформирует, будут составлять список значений <множества2> для этой записи.

Примеры:

Конструкция:

<значимое выражение> NOT IN …

имеет тот же результат, что и конструкция NOT <значимое выражение> IN … .

Эти конструкции эквивалентны:

select name, count(*) from person where age not in (30,40,50,60) group by name;
select name, count(*) from person where not age in (30,40,50,60) group by name;