reconsider A = the carrier of M as Subset of M by ZFMISC_1:def 1;
take A ; :: thesis: A is stable
thus A is stable ; :: thesis: verum