let E be Event of ; :: thesis: E is Subset of
E in F ;
hence E is Subset of ; :: thesis: verum