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