SubMKtheclassofequivalenceclassesofthisrelationispartiallyorderedandcanincaseKisaconcretecategorywithafaithfulmonomorphismpreservingforgetfulfunctorjjKSetbeidentiedwiththeposetofMsubobject ID: 145461
SubM(K) theclassofequivalenceclassesofthisrelation ispartiallyorderedandcan