This constraint is known as lex_equal in the global constraint catalog, but the catalog's definition requires Collection1 and Collection2 to be the same size. It is implemented using Gecode's rel() constraint (variant that takes two IntVarArgs arguments), with the IRT_EQ IntRelType.
[eclipse 48]: lex_eq([1,9,1,5], [1,9,1,5]). ... Yes (0.00s cpu) [eclipse 49]: lex_eq([1,9,1,5], [1,9,2,5]). No (0.00s cpu) [eclipse 50]: lex_eq([1,9,1,5], [1,9,0,5]). No (0.00s cpu) [eclipse 51]: lex_eq([1,9,1], [1,9,1,5]). No (0.00s cpu)