Description: Equality implies the subclass relation. (Contributed by NM, 23-Nov-2003)
Ref | Expression | ||
---|---|---|---|
Assertion | eqimss2 | $${\u22a2}{B}={A}\to {A}\subseteq {B}$$ |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | eqimss | $${\u22a2}{A}={B}\to {A}\subseteq {B}$$ | |
2 | 1 | eqcoms | $${\u22a2}{B}={A}\to {A}\subseteq {B}$$ |