let X be non empty set ; :: thesis: X is Element of (FlatPoset X)
X in {X} by TARSKI:def 1;
hence X is Element of (FlatPoset X) by XBOOLE_0:def 3; :: thesis: verum