Definition:K-Connected