包含於關係

如“S是P而且P是S”（即S與P在外延上為全同關係），可以説S與P和P與S均有包含於關係，但不能説它們有真包含於關係。只有當“凡S是P而且有P不是S”時，S才真包含於P，S與P才有真包含於關係。而S與P有包含於關係則僅要求“凡S是P”、而並不要求“有P不是S”。