"b" を環とし "a" をその部分環で "b" は忠実平坦右 "a"-加群とする。