Eu preciso de uma maneira de testar se existe um valor em uma determinada matriz. Até agora eu vim com algo parecido com isto

select '{1,2,3}'::int[] @> (ARRAY[]::int[] || value_variable::int)

mas eu continuo pensando que deveria haver um caminho mais simples para isso, eu apenas não posso ver isso.

Edit: Só percebi que eu poderia fazer isso

select '{1,2,3}'::int[] @> ARRAY[value_variable::int]

Isso é muito melhor e acredito que será suficiente, mas se você tem outras maneiras de fazê-lo, por favor, compartilhe.