Pseudograph definitions