两个正规集相等的必要条件?