Doc: clarify handling of duplicate elements in array containment tests.

The array <@ and @> operators do not worry about duplicates: if every
member of array X matches some element of array Y, then X is contained
in Y, even if several members of X get matched to the same Y member.
This was not explicitly stated in the docs though, so improve matters.

Discussion: 
https://postgr.es/m/[email protected]

Branch
------
REL9_4_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/70c12450641bed8ab510f0fea2f97b6b747837b7

Modified Files
--------------
doc/src/sgml/func.sgml | 19 +++++++++++++++----
1 file changed, 15 insertions(+), 4 deletions(-)

Reply via email to