noun
(logic) A syllogism in which all three propositions are of the form "All X are Y" or "X is a Y".
Mac + Safari
iPhone + iPad
Google Chrome
Mozilla Firefox
Opera
Microsoft Edge