generated at
内包と外延
外延と内包