Funktor nutnosti

funktor nutnosti

- N, []; funktor nutnosti čítame: je nutné, že