основний об'єкт вивчення математичної теорії графів, сукупність непорожньої множини вершин і наборів пар вершин