pormal na depinisyon masinop​