具体的な圏