Consider sets , , , and such that is a subset of , is a subset of , and is a subset of . Whenever is an element of , must be an element of:
Consider sets , , , and such that is a subset of , is a subset of , and is a subset of . Whenever is an element of , must be an element of: