set A = the Element of F;
reconsider c = chi ( the Element of F,Omega) as Function of Omega,REAL by ZZZ;
take c ; :: thesis: c is F, Borel_Sets -random_variable-like
thus c is F, Borel_Sets -random_variable-like by ZZZ; :: thesis: verum