Matthews partieller metrischer Raum unter Verwendung von F-Kontraktion | Synapse