なるほど、確かに和集合になりますね。しかしそれでも定義から
{A}={{A}∪{x}}={A、x}
となって、いくら分解してもAにxが含まれているため
外延性公理も正則性公理も成立してしまうように見えて悩んでます。