The relationship between two interface definitions in the schema. If an interface definition implies another interface definition, then any class definition that realizes the first interface definition can also realize the implied interface definition.