( Modes c= Modes \/ Attrs & Modes \/ Attrs c= Constructors ) by XBOOLE_1:7;
hence Modes is non empty Subset of Constructors by XBOOLE_1:1; :: thesis: verum