Definition of Graf