Geef de definitie van GHZ