你的定义式对的
命题定义是可以判断真假的陈述句!同时命题必须有题设和结论两个部分构成,而你给的两个例子都只有结论,没有题设条件,因此都不是命题
正如你说的,加上条件“如果B是比A大的集合,那么(A∪B) 包含于A ”是个完整命题,但是是个假命题