というか論理的に同型である。