ریختاری از Y به X که ترکیبش با ریختار دیگری از X به Y ، چه از چپ و چه از راست، ریختار همانی بر یکی از دو فضا باشد
