Definition:Edge Coloring