論理包含 - Wikipedia
ja.wikipedia.org