Talk:Set Intersection Preserves Subsets/Corollary/Proof 2

Who said they have to be WFFs? --prime mover 23:28, 29 June 2012 (UTC)


 * Oh well, suppose you can treat them as basic propositions indeed; nvm. --Lord_Farin 06:30, 30 June 2012 (UTC)