the carrier of H c= the carrier of Q by Def30;
hence A is Subset of Q by XBOOLE_1:1; :: thesis: verum