The definition module of the ECK