Notation for unordered product of sets

Frequently, when referring to the edges of an undirected graph $G=(V,E)$, I want to write that $E \subset V \times V$, which isn't correct since the Cartesian product is ordered and the edges are not.

This motivates my question: is there a common notation for a product of sets $A$ and $B$ defined by $\{ \{a,b\} ~|~ a \in A ,~ b \in B \}$?

I use $E \subseteq \binom{V}{2}$. Although, I have seen it used elsewhere, it's probably not a standard notation.

We used $\bar{\times}$ (but without the gap between the bar and the times symbol) in the algebraic graph theory lectures I've attended some years ago. I liked it, however I don't know how common it is.

Is there any good reason not to define $0^0=1$ , such as contradictions in algebra or arithmetic?

Can only find 2 of the 4 groups of order 2014?

Conjecture: the function $d(x, y):=\frac{||x-y||}{\max(||x||, ||y||)}$ is a distance

$R/I$ is not Noetherian. Prove that $I$ is a prime ideal.

Find all real to real function satisfy this functional equation.! $f((x+y)/(x-y))=[f(x)+f(y)]/[f(x)-f(y)]$

A Banach space is reflexive if a closed subspace and its quotient space are both reflexive

How prove this $\sum_{k=0}^n \binom{n}{k} \binom{(p-1)n}{k} \binom{pn+k}{k} = \binom{pn}{n}^2 $

What is the relation between axiomatic set theory and logical quantifiers?

Borel $\sigma$-algebras on the Skorohod space $D[0,1]$

Why does partial fraction decomposition always work?

How to prove that $\sum_{n=1}^{\infty}\frac{1!+2!+\cdots+n!}{(2n)!}$ converges?

Proof that an automaton stops