Some theorems on sets