>集合Aの元aをa⊂Aとも書いていたが
が成立するのはAが推移的である場合だけ、一般には成立しない。