Definition:Complete Relation