let E be set ; :: thesis: for A being Subset of (E ^omega ) holds A c= A ?
let A be Subset of (E ^omega ); :: thesis: A c= A ?
A ? = {(<%> E)} \/ A by Th76;
hence A c= A ? by XBOOLE_1:7; :: thesis: verum