A /\ B is Subset of X ;
hence B AND is List of X ; :: thesis: verum