relations.m\_sat ================ .. currentmodule:: relations .. autofunction:: m_sat