[일반] Friedberg 선형대수 maximal principle 질문드려요

[익명(14.54)]

Let F be a family of sets. If, for each chain C(sub set of F), there exists a member of F that contains each member of C, then F contains a maximal member. 라고 하는데 여기서  

“that contains each member of C” 이 부분의 contain은 set inclusion의 의미인가요? 아니면 원소로서(ㅌ) 포함한다는 건가요?

[ultraproduct(ultraproduct)]

set inclusion. Zorn's Lemma에서 부분순서가 set inclusion인 경우임.

[익명(14.54)]

감사합니다. F가 maximal element를 포함한다는 건 원소로서 포함하는 거 맞죠?

[ultraproduct(ultraproduct)]

ㅇㅇ