剰余線形圏